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
Todesangst und das Todesbewutsein der Gegenwart
$69.99
Inclusive Housing Management and Community Wellbeing
$109.99
Digitale Langformen im Journalismus und Corporate Publishing
$39.99
Microwaves, Millimeter Wave and Terahertz Liquid Crystals
$179.99
Dynamics of Technological Change
$39.99
The 2019 European Electoral Campaign
$169.99
Steam Tables in SI-Units / Wasserdampftafeln
$54.99
Der Materialismus in England
$44.99
Theorie der Public Relations
$69.95
Citizen Scientist
$44.95
Decadent Poetics
$39.99
Universal Access in Human-Computer Interaction. Design Methods and User Experience
$109.99
Schuld und Verantwortung
$49.99
Global Analysis in Linear Differential Equations
$84.99
Cancer Incidence in Five Continents
$54.99
Vergleichende Primatologie
$44.99
Aufbau der Molekle
$49.99
Re-Situating Public Theatre in Contemporary France
$129.99
Kundenbindung im Finanz-Vertrieb
$49.99
Introduction to Metal Matrix Composites
$109.99
Portability of Numerical Software
$44.99
The Chemical Industry in Europe, 18501914
$219.99
Semantics in Mobile Sensing
$29.99
Modern Full-Stack Development
$34.99
Illegale Transaktionen und staatliches Handeln
$74.99
IWNMS 2004
$109.99
The Future of European Social Democracy
$54.99
Advances in Cryptology ASIACRYPT 2023
$79.99
Lee y aprende: Mi primera Biblia
$7.49
Applications and Innovations in Intelligent Systems XV
$219.99
Treasure Your Exceptions
$249.99
My Very Favorite Book in the Whole Wide World (Hardcover)
$13.49
Recent Advances in Reliability and Quality in Design
$219.99
Dictionary of Psychiatry
$54.99
The Philippine Archipelago
$279.99
Democratization and Political Culture in Comparative Perspective
$54.99
Search for New Phenomena in Dijet Angular Distributions at s = 8 and 13 TeV
$84.99
The Insect Ovary
$169.00
Repetitorium der Betriebswirtschaftslehre
$54.99
Soar
$5.99
