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:
Buy NASA Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Untersuchungen ber den Ausgleich von Hhenunterschieden bei flssigen Anstrichschichten in anwendun
$54.99
Dynamical Systems, Bifurcation Analysis and Applications
$109.99
Multidisciplinary Approaches to Forensic Archaeology
$199.99
Modified Nucleosides and Cancer
$84.99
Rings and Categories of Modules
$99.99
Bilinear Regression Analysis
$64.99
Scholar Zone Extended Learning ELA & Math Grade 2
$750.00
Leistung und Energie in Verbundsystemen
$64.99
The Mathematics and Physics of Disordered Media
$44.99
Animal-Assisted Intervention
$69.99
Double And The Other
$29.99
Superior Beings
$39.99
Frankreich Europa Weltpolitik
$69.99
Internet der Dienste
$29.99
Biscuit Visits the Big City
$3.71
Captured: The Animal within Culture
$54.99
Sprache, Migration und schulfachliche Leistung
$64.99
Statistische Datenanalyse mit SPSS
$44.99
Wheat
$129.00
Brgerfunk in Nordrhein-Westfalen
$59.99
Community Self-Help
$54.99
Verfahren kommunaler Einnahmeschtzung Ein Beitrag zur rationalen Haushalts- und Finanzplanung der
$59.99
Distributed Autonomous Robotic Systems 8
$169.00
Handbook of Combinatorial Optimization
$129.00
Microelectronics, Circuits and Systems
$249.99
Methoden der Mathematischen Physik
$69.99
Industriefeindlichkeit in Deutschland
$44.99
Ultrasonography in Ophthalmology XV
$39.99
Industriebetriebslehre
$39.99
Literacy Walks (10-copy pack)
$269.90
Individualisierte bergnge
$59.99
The Global Geometry of Turbulence
$39.99
Multidisciplinary Treatment of Colorectal Cancer
$139.00
Neither Enemies nor Friends
$39.99
Umrisse einer Dritten Kultur im interdisziplinren Zusammenspiel zwischen Literatur und Naturwissens
$59.99
Die kulturelle Sendung Italiens
$54.99
Corruption and Anti-Corruption in PolicingPhilosophical and Ethical Issues
$59.99
Young Adult Grades 9-12
$85.00
Astronomy for Older Eyes
$44.99
Plundered Nations?
$79.99
