Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

NASA Formal Methods

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

136 b

19 972 Ft

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

36 447 Ft

Familiae minorum gentium; Volumen 1 John William Clay

Paperback

14 680 Ft

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

Hardback

8 367 Ft

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

Hardback

21 577 Ft

Espectro de la analogía : Literatura & ciencia

Paperback

8 442 Ft

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

Paperback

19 355 Ft

La magrana de foc Morey Servera

Paperback

5 928 Ft

Teorias de la Lirica Gustavo Guerrero

Paperback

3 956 Ft

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

Paperback

4 518 Ft

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

Hardback

6 090 Ft

Le réchauffement climatique et ses impacts Exbalin

Paperback

10 635 Ft

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

Paperback

4 884 Ft

Oeuvres Tome 3 Moliere

Paperback

11 929 Ft

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

Paperback

16 781 Ft

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

Paperback

2 574 Ft

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

Hardback

103 325 Ft

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.