General Books
NASA Formal Methods
₹2,708.76
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
"NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings" by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou, published by Springer. The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Book details: XXI, 442 pages, published 2020. Order now on BookShops.in with fast, reliable delivery across India.
Book Specifications
| ISBN-13 | 9783030557546 |
| ISBN-10 | 3030557545 |
| Publisher | Generic |
| Language | english |
| Print Length | 226 pages |
| Category | General Books |
Frequently Asked Questions
What is the price of NASA Formal Methods?
NASA Formal Methods is available at ₹2,708.76 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 [email protected] 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.
Related Products
View All
General Books
What I'd Say to the Martians | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Central Publishing | by Jack Handey | Grand Centra
₹3,738.5
General Books
John Fulghum Mysteries
₹3,618.2
General Books
Downsiders | by Neal Shusterman | Simon & Schuster Children's Publishing | by Neal Shusterman | Simon & Schuster Children's Publishing | by Neal Shusterman | Simon & Schuster Children's Publishing | by Neal Shusterman | Simon & Schuster Children's Publishing | by Neal Shusterman | Simon & Schuster Children's Publishing | by Neal Shusterman | Simon & Schuster Children's Publishing | by Neal Shusterman | Simon & Schuster Children's Publishing | by Neal Shusterman | Simo
₹2,971.54
General Books
...und immer wieder Huckenkoetter (English, Uwe Hollmann Micky Koch)
₹2,938.45
General Books
The Highest Peak (English, Jenna Tolli)
₹3,028.84
General Books
Something Under the Bed Is Drooling | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews McMeel Publishing | by Bill Watterson | Andrews Mc
₹3,505.88