NASA Formal Methods (English, Mihaela Bobaru | Klaus Havelund | Gerard Holzmann)
by Mihaela Bobaru | Klaus Havelund | Gerard Holzmann
Delivery options
₹5,669
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,669
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642203978
ISBN-10
3642203973
Author
Mihaela Bobaru | Klaus Havelund | Gerard Holzmann
About the Book
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 a…
ISBN: 9783642203978
ISBN-13: 9783642203978
ISBN-10: 3642203973
Frequently Asked Questions
What is the price of NASA Formal Methods?
NASA Formal Methods starts from ₹5669 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of NASA Formal Methods?
Mihaela Bobaru | Klaus Havelund | Gerard Holzmann is the author of NASA Formal Methods. Browse more books by Mihaela Bobaru | Klaus Havelund | Gerard Holzmann 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-9783642203978
🛒 Customers Also Bought
Systematic Design of Instruction, The: Pearson New International Edition (English, Paperback, James Carey, Lou Carey, Walter Dick)
₹5,849
Die Berechnung Von Rotierenden Scheiben Und Schalen (English, K. Löffler)
₹4,181
Vorträge Der XII. Fortbildungswoche Der Dermatologischen Klinik Und Poliklinik Der Ludwig-Maximilian (English, Otto Braun-Falco | Johannes Ring)
₹4,688
Geschehnis Und Erlebnis (English, E. Straus | W. Bräutigam)
₹5,793
Optimale Stufenrädergetriebe Für Werkzeugmaschinen (English, E. Stephan)
₹3,287
Einführung in Die Rechtsinformatik (English, Elmar Bund)
₹5,662Related Products
Tomita's Theory of Modular Hilbert Algebras and Its Applications (English, M. Takesaki)
₹2,098
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Beobachtungssprache, Theoretische Sprache Und Die Partielle Deutung Von Theorien (English, Wolfgang Stegmüller)
₹1,524