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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

NASA Formal Methods

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

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

94.18 €

Familiae minorum gentium; Volumen 1 John William Clay

Paperback

38.27 €

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

Hardback

23.49 €

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

Hardback

60.66 €

Espectro de la analogía : Literatura & ciencia

Paperback

23.79 €

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

Paperback

54.48 €

La magrana de foc Morey Servera

Paperback

16.70 €

Teorias de la Lirica Gustavo Guerrero

Paperback

11.13 €

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

Paperback

12.65 €

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

Hardback

17.11 €

Le réchauffement climatique et ses impacts Exbalin

Paperback

29.87 €

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

Paperback

12.75 €

Oeuvres Tome 3 Moliere

Paperback

31.19 €

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

Paperback

44.15 €

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

Paperback

7.28 €

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

Hardback

268.19 €

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.