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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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: 20251 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

20 251 Ft

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

40 665 Ft

DRAGON BALL HEROES UNIVERSE BIG BANG MISSION Nº 03/03 TORIYAMA

Paperback

3 105 Ft

Familiae minorum gentium; Volumen 1 John William Clay

Paperback

14 892 Ft

Cay Koy Yeniden Basliyoruz

Paperback

5 147 Ft

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

Paperback

4 939 Ft

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

Adobe ePub DRM

3 567 Ft

Oeuvres Tome 3 Moliere

Paperback

12 103 Ft

La magrana de foc Morey Servera

Paperback

5 938 Ft

Umenie zablúdiť Boris Filan

Hardback

2 106 Ft

Tibetská léčení zvukem + CD Tenzin Wangyal Rinpočhe

Book

3 851 Ft

Salvia Divinorum Jochen Gartz

Paperback

4 613 Ft

Entangled Networks of Semiflexible Polymers Hinsch Hauke

Paperback

18 980 Ft

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

Hardback

104 789 Ft

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

Paperback

17 027 Ft

Espectro de la analogía : Literatura & ciencia

Paperback

8 504 Ft

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

Paperback

19 549 Ft

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

Paperback

4 553 Ft

Teorias de la Lirica Gustavo Guerrero

Paperback

3 955 Ft

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

Paperback

4 954 Ft

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

Hardback

21 848 Ft

Magorie Šarközi

Audio CD

1 983 Ft

Le réchauffement climatique et ses impacts Exbalin

Paperback

10 373 Ft

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

Hardback

5 760 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.