«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro NASA Formal Methods Alwyn Goodloe
Código Libristo: 01660738
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2012
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Cuentos de la filosofía griega : Platón, hablando de Sócrates Mercedes Aguirre / Libro Tapa blanda
common.buy 18.29 €
Uso de las ciclovías como un recurso turístico Anabel Monserrate / Libro Tapa blanda
common.buy 63.89 €
La traduzione e il linguaggio nelle guide turistiche Giorgia Bestagno / Libro Tapa blanda
common.buy 35.49 €
mon chemin vers compostelle Joëlle Thibaud / Libro Tapa blanda
common.buy 11.09 €
AElpler Peter Rosegger / Libro Tapa blanda
common.buy 43.89 €
Checkliste Anästhesie Gernot Marx / Libro binding.
common.buy 79.29 €
Nachhaltige Kapitalanlagen Boris Neumann / Libro Tapa blanda
common.buy 57.09 €
WAS IST WAS Mission im Weltraum Sarah Konrad / Libro Tapa dura
common.buy 16.89 €
Shakara Fela Kuti Audio Vinilo de audio
common.buy 34.19 €

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. §The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos NASA Formal Methods
Autor Alwyn Goodloe, Suzette Person
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 466
EAN 9783642288906
ISBN 3642288901
Código Libristo 01660738
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 721
Dimensiones 155 x 235 x 26

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Quantum Potential: Physics, Geometry and Algebra Ignazio Licata / Libro Tapa blanda
common.buy 56.59 €
Field Guide to Covering Local News Fred Bayles / Libro Anillas de fijación
common.buy 46.39 €
Beast Quest: Draka the Winged Serpent Adam Blade / Libro Tapa blanda
common.buy 9.49 €
Towards Belonging Andrew Briggs / Libro Tapa dura
common.buy 194.39 €
The Advanced Options Trading Guide: The Best Complete Guide for Earning Income With Options Trading, Learn Secret Investment Strategies for Investing Neil Sharp / Libro Tapa blanda
common.buy 14.49 €
An Inquiry Into the Nature of Peace and the Terms of Its Perpetuation Thorstein Veblen / Libro Tapa blanda
common.buy 10.09 €
Online Dating Profiles: What Are They Really Telling You? Kady Knutz / Libro Tapa blanda
common.buy 20.09 €
Tattva-chintamani by Gangesa Upadhyaya; With Extracts From the Commentaries of Mathuranatha Tarkavagisa and of Jayadeva Misra. Edited by Kamakhyanath 13th Cent Gangesa / Libro Tapa dura
common.buy 42.59 €
Blue Sabine Gerald Duff / Libro Tapa blanda
common.buy 17.79 €
Nationalisms: The Nation-State and Nationalism in the Twentieth Century Montserrat Guibernau / Libro Tapa blanda
common.buy 26.99 €
To Kill A Mockingbird Harper Lee / Audio CD de audio
common.buy 24.19 €
Optimization Methods in Electromagnetic Radiation Thomas S. Angell / Libro Tapa dura
common.buy 118.29 €
God's Indemnity Dr Cheryl Williams / Libro Tapa blanda
common.buy 17.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?