Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

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

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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 09225659
Price: 56.59 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9783319175232

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Klaus Havelund

Gerard Holzmann

Rajeev Joshi

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 09225659

Editores Springer International Publishing AG, marzo 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Descripción completa

Código Libristo: 09225659

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

Spanien im Kalkül der deutschen Außenpolitik Nils Havemann

Tapa blanda

103.29 €

Familiae minorum gentium; Volumen 1 John William Clay

Tapa blanda

39.69 €

Аэлита. Гиперболоид инженера Гарина Алексей Толстой

Tapa dura

25.89 €

Slovensko v treťom tisícročí Vladimír Bárta

Tapa dura

64.99 €

Espectro de la analogía : Literatura & ciencia

Tapa blanda

22.79 €

La construcción de los interrogatorios desde la teoría del caso Benavente Chorres

Tapa blanda

52.29 €

La magrana de foc Morey Servera

Tapa blanda

16.79 €

Teorias de la Lirica Gustavo Guerrero

Tapa blanda

10.69 €

Súper Kawaii. El arte japonés de para dibujar criaturas monas Nguyen

Tapa blanda

12.90 €

Lucky Luke - Tome 24 - La Fiancée de Lucky Luke Vidal Guy

Tapa dura

17.19 €

Le réchauffement climatique et ses impacts Exbalin

Tapa blanda

30.09 €

Nouveau Manuel Complet de Distillation Des Grains Suivi de la Distillation Des Melasses Francois Malepeyre

Tapa blanda

13.19 €

Oeuvres Tome 3 Moliere

Tapa blanda

32.29 €

Oeuvres Completes de M. de Balzac. Scenes de la Vie Militaire Et Scenes de la Vie de Campagne Honore De Balzac

Tapa blanda

45.49 €

Césped, diseño, instalación y cuidado Beretta

Tapa blanda

6.89 €

Index of North and South American Constitutions 1850 to 2007 Horst Dippel

Tapa dura

292.59 €

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2014, held in Pasadena, CA, USA, April 27-29, 2015.§The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.