Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 09225659
Price: 53.79 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

Language

English

Book Paperback

Libristo code: 09225659

Publishers Springer International Publishing AG, March 2015

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met... Full description

Libristo code: 09225659

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Paperback

99.90 €

Familiae minorum gentium; Volumen 1 John William Clay

Paperback

39.69 €

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

Hardback

24.59 €

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

Hardback

63.29 €

Espectro de la analogía : Literatura & ciencia

Paperback

24.49 €

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

Paperback

56.09 €

La magrana de foc Morey Servera

Paperback

17.19 €

Teorias de la Lirica Gustavo Guerrero

Paperback

11.49 €

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

Paperback

12.49 €

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

Hardback

17.69 €

Le réchauffement climatique et ses impacts Exbalin

Paperback

30.79 €

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

Paperback

13.19 €

Oeuvres Tome 3 Moliere

Paperback

32.29 €

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

Paperback

45.49 €

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

Paperback

7.49 €

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

Hardback

278.69 €

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.