Formal Methods
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
₹6,998
Nasa Formal Methods
7th International Symposium
by Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Springer-Nature New York Inc · 2015 · Paperback
₹4,275
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,890 for this book (save ₹385).
9% off every book, up to ₹500 off per order.
About this book
Its main subjects are Computer science.
Book details
- ISBN-13
- 9783319175232
- ISBN-10
- 3319175238
- Authors
- Klaus Havelund, Gerard Holzmann, Rajeev Joshi
- Publisher
- Springer-Nature New York Inc
- Published
- 2015
- Edition
- 2015 ed.
- Binding
- Paperback
- Pages
- 435
- Language
- English
- Condition
- New
- Subject
- Computing & IT
More by Klaus Havelund and related titles
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568
Formal Approaches to Software Testing and Runtime Verification
Klaus-havelund
₹2,656
Doxxing Discourse
Carmen Lee
₹4,681
Computer Graphics
Robert D. Parslow
₹4,290
Recent Advances in Cancer Diagnostics and Therapy
Anjana Pandey, Saumya Srivastava
₹7,996
Bodies of Information
Elizabeth Losh, Jacqueline Wernimont
₹2,856
Affective Encounters
Di Wu
₹10,180
Dynamics and Control of Switched Electronic Systems
Luigi Iannelli
₹7,767
Stochastic Reachability Analysis of Hybrid Systems
Luminita Manuela Bujorianu
₹7,759
Obesity and Its Impact on Health
Methil Kannan Kutty, Asita Elengoe
₹14,337
Delta Lake – Up and Running
Bennie Haelen, Dan Davis
₹4,104