Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
NASA Formal Methods
Best Price (Coupon Required):
Buy NASA Formal Methods for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
Reviews
Questions & Answers
Diabetes mellitus B
$54.99
Chance Discovery
$169.99
Zoey and Sassafras: Unicorns and Germs
$4.46
The Handbook of Berber Linguistics
$279.99
Organized Business and the New Global Order
$109.99
Aluminum Matrix Composites Reinforced with Alumina Nanoparticles
$39.99
Analytical Problems
$39.99
Two-Dimensional Electron Systems
$219.99
Seventh International Conference on Cyclotrons and their Applications
$54.99
Developmental Neurobiology of the Autonomic Nervous System
$129.00
Wavelet Transforms and Their Applications
$89.00![The [European] Other in Medieval Arabic Literature and Culture](https://covers.springernature.com/books/jpg_height_648_pixels/9781137081650.jpg)
The [European] Other in Medieval Arabic Literature and Culture
$89.00
Aspects of Ergodic, Qualitative and Statistical Theory of Motion
$109.99
Conceptual Profiles
$159.99
Islamic Religious Authority in a Modern Age
$119.99
Cyclic Nucleotides
$84.99
Vegetation Dynamics
$39.99
Das Zungenreden
$59.99
Introduction to Artificial Intelligence
$99.99
Britain Colonized
$54.99
Microelectronics Packaging Handbook, 3-part set
$329.99
Redirecting Human Rights
$109.99
Practical Guide to Dermatology
$84.99
Basic Concepts of Nonlinear Optimization
$54.99
Core Concepts and Methods in Load Forecasting
$59.99
Fatigue Failure of Metals
$169.99
US Foreign Policy in the 1990s
$54.99
Evil and International Relations
$54.99
Similarity Search and Applications
$84.99
Control of Discrete-Time Descriptor Systems
$129.99
Coping with Hunger and Shortage under German Occupation in World War II
$139.99
System of Human Activity Systems
$119.00
Gendered Profession
$49.99
Arendt-Handbuch
$69.99
The Value of Popular Music
$34.99
Congenital Arteriovenous Aneurysms of the Carotid and Vertebral Arterial Systems
$54.99
Social Science and Revolutions
$169.99
Democratic Dilemmas of Multilevel Governance
$54.99
A Christopher Marlowe Chronology
$54.99
Ironmaking and Steelmaking Processes
$219.99
