Springer
NASA Formal Methods (English, Alwyn Goodloe | Suzette Person)
₹5,613
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783642288906 |
| ISBN-10 | 3642288901 |
Product Description
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
Frequently Asked Questions
What is the price of NASA Formal Methods?
NASA Formal Methods is available at ₹5,613 on BookShops.in.
Does BookShops.in offer free delivery for NASA Formal Methods?
FREE delivery on all orders for NASA Formal Methods.
Is Cash on Delivery available for NASA Formal Methods?
Yes, Cash on Delivery (COD) is available for NASA Formal Methods on BookShops.in. Pay when your order arrives.
What is the return policy for NASA Formal Methods?
BookShops.in offers a 15-day hassle-free return policy for NASA Formal Methods. Contact us at support@bookshops.in or call +91 81899 68108.
Is NASA Formal Methods authentic?
NASA Formal Methods is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Vs Verlag Fur Sozialwissenschaften
Das Föderative System Der Bundesrepublik Deutschland (English, Heinz Laufer | Ursula Münch)
₹2,779
-75%Routledge
Regions in Europe (English, Patrick Le Gales | Christian Lequesne)
₹4,942₹20,109
Vs Verlag Fur Sozialwissenschaften
Entwicklung, Interesse Und Moral (English, Ulrich Willems)
₹3,508
-47%OUP Oxford
Adam Smith's System of Liberty, Wealth, and Virtue (English, Athol Fitzgibbons)
₹4,475₹8,419
Cambridge University Press
Nations at War (English, Daniel S. Geller | J. David Singer | Steve Smith)
₹3,941
-71%Princeton University Press
Battling Western Imperialism (English, Michael Sheng)
₹5,423₹18,538
Related Products
View All
Springer
Ordered Linear Spaces (English, Graham Jameson)
₹2,697
-56%Springer
Solar Electric Power Generation - Photovoltaic Energy Systems (English, Stefan C. W. Krauter)
₹5,046₹11,533
-69%Springer
Dynamic Programming (English, Art Lew | Holger Mauch)
₹4,691₹15,094
Springer
Multi-Agent System Engineering (English, Francisco J. Garijo | Magnus Boman)
₹5,584
-60%Springer
Materia Medica of New and Old Homeopathic Medicines (English, David S. Riley)
₹4,897₹12,143
-72%Springer
Advanced Power Rectifier Concepts (English, B. Jayant Baliga)
₹4,945₹17,386