.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
NASA Formal Methods
. Ed(S): Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev
€ 69.46
FREE Delivery in Ireland
Description for NASA Formal Methods
Paperback. Constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, that was held in Pasadena, CA, USA. Editor(s): Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 548 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 836.
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 verification techniques; static and dynamic analysis techniques, fault protection, cyber ... Read more
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 verification techniques; static and dynamic analysis techniques, fault protection, cyber ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
548
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
534
Place of Publication
Berlin, Germany
ISBN
9783642203978
SKU
V9783642203978
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for NASA Formal Methods