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 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

NASA Formal Methods

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

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Paperback

103.50 €

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

Paperback

54.22 €

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

Hardback

23.46 €

Familiae minorum gentium; Volumen 1 John William Clay

Paperback

38.24 €

Cay Koy Yeniden Basliyoruz

Paperback

13.14 €

Piano PLUS - Cahier de l'élève Cycles 2, 3, 4 Sandrine Monnier

Paperback

14.66 €

??????? ???????? 1 ??? (AH1-Korean Edition) Marshall Vian Summers

Adobe ePub DRM

9.91 €

Espectro de la analogía : Literatura & ciencia

Paperback

23.67 €

Teorias de la Lirica Gustavo Guerrero

Paperback

11.02 €

Entangled Networks of Semiflexible Polymers Hinsch Hauke

Paperback

48.05 €

Salvia Divinorum Jochen Gartz

Paperback

10.92 €

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

Paperback

44.10 €

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

Paperback

12.74 €

Oeuvres Tome 3 Moliere

Paperback

31.15 €

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

Hardback

60.39 €

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

Paperback

13.55 €

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

Hardback

16.89 €

Le réchauffement climatique et ses impacts Exbalin

Paperback

29.63 €

La magrana de foc Morey Servera

Paperback

16.48 €

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

Hardback

267.91 €

Magorie Šarközi

Audio CD

5.35 €

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.