NASA Formal Methods (English, Alwyn Goodloe | Suzette Person)
by Alwyn Goodloe | Suzette Person
Delivery options
₹5,613
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,613
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642288906
ISBN-10
3642288901
Author
Alwyn Goodloe | Suzette Person
About the Book
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, m…
ISBN: 9783642288906
ISBN-13: 9783642288906
ISBN-10: 3642288901
Frequently Asked Questions
What is the price of NASA Formal Methods?
NASA Formal Methods starts from ₹5613 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of NASA Formal Methods?
Alwyn Goodloe | Suzette Person is the author of NASA Formal Methods. Browse more books by Alwyn Goodloe | Suzette Person on BookBajar.
Is NASA Formal Methods available in Paperback and Hardcover?
Yes, NASA Formal Methods is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for NASA Formal Methods?
Yes, BookBajar offers free delivery for NASA Formal Methods across India. No minimum order value required.
Is Cash on Delivery available for NASA Formal Methods?
Yes, Cash on Delivery (COD) is available for NASA Formal Methods on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642288906
🛒 Customers Also Bought
Theorie Und Berechnung Der Eisernen Brücken (English, Friedrich Bleich)
₹5,258
Telephon- Und Signal-Anlagen (English, Carl Beckmann)
₹4,534
Die Geltung Von Rechtsnormen (English, Rupert Schreiber)
₹4,176
Die Stammesgeschichte Der Primaten Und Die Entwicklung Der Menschenrassen (English, Theodor Arldt)
₹5,885
Zivilprozeßrecht (English, Hermann Fenger)
₹1,914
Die Denkform Der Alternative in Der Jurisprudenz (English, Jürgen Rödig)
₹4,189Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883