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
Mechanisms of Secondary Brain Damage
$39.99
Structural, Syntactic, and Statistical Pattern Recognition
$54.99
Sustainable Digital Communities
$109.99
Nonfiction Sight Word Readers: Level D (Multiple-Copy Set)
$91.49
Plausible Neural Networks for Biological Modelling
$109.99
Politikerinnen
$64.99
British Political Facts Since 1979
$109.99
Atlas of Oral and Maxillofacial Anatomy
$129.99
Angewandte Data Science
$37.99
Positive Semigroups of Operators, and Applications
$39.99
National Security Drivers of Ukraine
$139.99
Banking, The State and Industrial Promotion in Developing Japan, 1900-73
$54.99
The Nineteenth-Century Press in the Digital Age
$54.99
Indigenous Law and the Politics of Kincentricity and Orality
$37.99
East Asia's De Facto Economic Integration
$109.99
The Invisible Hands of U.S. Commercial Banking Reform
$109.99
Valve Selection and Specification Guide
$109.99
HNO Praxis Heute
$54.99
Theorie der logischen Programmierung
$59.99
Eurasian Business Perspectives
$169.99
Studies of Brain Metabolism in Psychiatric Patients: Can Standards Be Drawn?
$54.99
Evolutionary Biology: Genome Evolution, Speciation, Coevolution and Origin of Life
$129.00
Microeconomic Theory and Computation
$109.99
Studentisches Gesundheitsmanagement
$17.99
Dynamics of the West Antarctic Ice Sheet
$219.99
Optical Precursors
$39.99
Lebensqualitt
$39.99
Erdbebenbeanspruchung von Brcken nach verschiedenen Berechnungsverfahren und Normen
$54.99
3D Printing with Delta Printers
$37.99
Klinische und experimentelle Untersuchungen mit Hilfe einer knstlichen Niere
$54.99
Competitive Strategies in Life Sciences
$129.00
Back to Dog-Gone School
$3.00
Betriebsstatistik
$59.99
European Energy Markets Observatory (2010)
$129.00
Die neurologische Symptomatologie der akuten und chronischen Niereninsuffizienz
$59.99
Multilayered Security and Privacy Protection in Car-to-X Networks
$39.99
Einstein in Matrix Form
$49.99
Immune Mediated Diseases
$169.00
Managing Opportunity Development in Business Networks
$84.99
Cancer Chemotherapy 1
$219.99
