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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657772
Price: 23383 HUF
Availability: InStock
Author: Mihaela Bobaru
ISBN: 9783642203978

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Language

English

Book Paperback

Libristo code: 01657772

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2011

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal M... Full description

Libristo code: 01657772

156 b

23 383 Ft

In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Les Bains de Paris Et Des Principales Villes Des Quatre Parties Du Monde. Tome 1 CUISIN

Paperback

9 683 Ft

Mortelle mascarade Verity Bright

Paperback

8 273 Ft

Mathematik 4. Klasse Sven Ludwig

Paperback

5 740 Ft

Janičiarka Hana Košková

Hardback

3 372 Ft

Gottes Annehmerin Leopold Kompert

Paperback

3 238 Ft

Abfindungs-Caps fur Vorstandsmitglieder im deutschen Recht Philipp Jakobus

Paperback

14 162 Ft

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. §The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verifcation techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.