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
Storytelling Math: Luna's Yum Yum Dim Sum
$5.96
Proceedings of the 21st International Symposium on Advancement of Construction Management and Real E
$219.99
Future-Proofing Fuel Cells
$159.99
Bibliography 193569
$39.99
Central Asia and Southeast Asia
$39.99
Food Authentication
$169.99
English and Students with Limited or Interrupted Formal Education
$119.00
International Handbook of Juvenile Justice
$259.00
Extrapulmonary Tuberculosis
$109.99
Space Enterprise
$34.99
Asset Management fr Infrastrukturanlagen - Energie und Wasser
$109.00
Antinomie und Dialektik
$74.99
Natural Electromagnetic Fields in Pure and Applied Geophysics
$179.99
Africana Cultures and Policy Studies
$54.99
Loricate Ciliate Tintinnids in a Tropical Mangrove Wetland
$54.99
Climate Change and Livestock Production: Recent Advances and Future Perspectives
$149.00
How Nations Succeed: Manufacturing, Trade, Industrial Policy, and Economic Development
$79.99
Tell Me, Where Are We Going and How Do We Get There?
$19.99
Der Bau der Starrluftschiffe
$49.99
Herrschaft in den Internationalen Beziehungen
$49.99
Das Sprengluftverfahren
$74.99
Employer Branding fr KMU
$79.99
Leadership in turbulenten Zeiten
$34.99
Stakeholder Entrepreneurship
$49.99
Befragung von Pflegekunden
$29.99
Opportunistic Spectrum Sharing in Cognitive Radio Networks
$54.99
Beginning STM32
$59.99
Responsible Lobbying
$54.99
Topics in Policy Appraisal
$39.99
Simulation and Model-Based Methodologies: An Integrative View
$84.99
Nordrhein-Westfalen im nordwesteuropischen Raum: Aufgaben und Probleme gemeinsamer Planung und Entw
$59.99
Early Modern Women's Complaint
$119.99
Planung und Entscheidung
$49.99
Applied Chemical Process Design
$119.00
Great Circle of Mysteries
$129.99
Advanced Surgical Facial Rejuvenation
$219.99
Steuerung von Privatisierung
$59.99
OSCE Kompetenzorientiert Prfen in der Pflegeausbildung
$39.99
Die Spur des Lebens
$44.99
Broadening the Genetic Base of Grain Cereals
$169.99
