Let us wish you a happy birthday!
Date of Birth
Please fill in a complete birthday Enter a valid birthday
×
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings by Mihaela Bobaru, Klaus Havelund, Gerard Holzmann - Paperback
532.35 AED

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings by Mihaela Bobaru, Klaus Havelund, Gerard Holzmann - Paperback

Be the first to rate this product 

532.35 AED 

  - You Save -532.35 AED
All prices include VAT  Details
FREE Shipping Details
Category Type
Information Technology
ISBN
9783642203978
Author
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
Publisher
Springer
Description:

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: ...

Ships From United States
Ship to Dubai (Change city)
Delivered within Saturday, Jul 14 - Sunday, Jul 15 to Dubai

Condition:
New
Sold by:
InternationalBookStore (88% Positive Rating)

PRODUCT INFORMATION

  •  

    Specifications

    Category Type
    Information Technology
    ISBN
    9783642203978
    Languages
    English
    Item EAN
    2724437213960
    People
    Author
    Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
    Category Type
    Information Technology
    ISBN
    9783642203978
    Languages
    English
    Item EAN
    2724437213960
    People
    Author
    Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
    People
    Publisher
    Springer
    Technical Information
    Binding
    Paperback
    Languages and countries
    Book Language
    English
    Read more
  •  

    Description:

    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

    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 security, specification formalisms, requirements analysis, and applications of formal techniques.

    Product Features:
    • Category: Information Technology
    • Binding: Paperback
    • Language of Text: English
    • Author(s): Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
    • Publisher: Springer
    • ISBN: 9783642203978
    • Number of Pages: 534
    • Dimensions: 9.3 x 6.1 x 1.2 inches
 

Customer Reviews

0
No ratings yet
Be the first to rate this product
Rate this product:

Sponsored products for you

×

Please verify your mobile number to complete your checkout

We will send you an SMS containing a verification code. Please double check your mobile number and click on "Send Verification Code".

+ Edit