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
Information Technology Auditing
$39.99
Berufsethos kontra konomie
$19.99
Integrating 3D Modeling, Photogrammetry and Design
$64.99
Aseptische Mondbeinnekrose Kienbck-Erkrankung
$59.99
The Andes
$169.99
Modern Aspects of Electrochemistry 41
$169.99
Actinide Speciation in High Ionic Strength Media
$129.00
Multiagent Systems
$29.99
Super Manny: Super Manny Cleans Up!
$4.46
Making Negotiations Predictable
$59.99
Workshop on Frontiers in High Energy Physics 2019
$219.99
Handbook of Psychotherapies with Children and Families
$189.00
Indigeneity, Globalization, and African Literature
$54.99
Mathematical Physics: Classical Mechanics
$84.99
Zur Institutionalisierung von New Public Management
$79.99
Ein Beitrag zur Kenntnis der Pilzbertragungsweise bei xylomycetophagen Scolytiden (Coleoptera)
$54.99
Plantation Technology in Tropical Forest Science
$169.99
Chemisch-technische Untersuchungsmethoden
$84.99
The Dunhuang Grottoes and Global Education
$109.99
Steg-O-Normous (Hardcover)
$9.74
Strategische Innovationsorientierung von Business-to-Business-Unternehmen
$69.99
Polymer Latices
$169.00
Justifying War
$109.99
Radiation Transport in Spectral Lines
$109.99
Group Purchasing Organizations
$39.99
RadTool Nuclear Medicine MCQs
$179.99
Developing Biofuel Bioprocesses Using Systems and Synthetic Biology
$39.99
Management of Recreation and Nature Based Tourism in European Forests
$109.99
Mobilisierung, Protest und Strategien in Aktion
$59.99
Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung
$59.99
The Faerie Handbook: An Enchanting Compendium of Literature, Lore, Art, Recipes, and Projects by Faerie Magazine
$35.00
Analysis of Material Removal Processes
$54.99
Water Resources in Mexico
$219.99
Betriebliches Gesundheitsmanagement in Restrukturierungsprozessen
$49.99
Inhibitors of Protein Kinases and Protein Phosphates
$549.99
Logik
$199.00
Carve the Mark (Carve the Mark Series 1) by Veronica Roth
$15.99
Computer Safety, Reliability and Security
$39.99
Averaging Methods in Nonlinear Dynamical Systems
$109.99
Geometric Data Analysis
$84.99
