NASA Formal Methods

Name: NASA Formal Methods: 11th International Symposium
Brand: Springer Nature Switzerland AG
SKU: 9783030206512
Price: 5136.00 INR
Availability: InStock

11th International Symposium

by Julia M. Badger, Kristin Yvonne Rozier

Springer Nature Switzerland AG · 2019 · Paperback

₹5,136

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

NASA Formal Methods: 11th International Symposium is written by Julia M. Badger & Kristin Yvonne Rozier. This paperback edition from Springer Nature Switzerland AG (2019) has 392 pages.

Its main subjects are Computer science, Formal methods (Computer science), Congresses and Méthodes formelles (Informatique).