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
Kongre
$59.99
Executive Education after the Pandemic
$54.99
Innere Ballistik
$79.99
Holzbau 2
$39.99
Beschftigungssystem und Arbeitsmarkt in der DDR
$74.99
Java Unit Testing with JUnit 5
$79.99
Die Gerbung mit Pflanzengerbstoffen
$84.99
Industry 4.0 to Industry 5.0
$59.99
Verringerung der Selbstkosten in Adjustagen und Lagern von Stabeisenwalzwerken
$49.99
Stable Isotope Geochemistry
$69.99
Darstellungstechniken der Aufbau- und Ablauforganisation
$64.99
Anti-Immigrant Attitudes
$34.99
The Immune Response to Implanted Materials and Devices
$169.99
Cross-Linguistic Perspectives on Language Processing
$109.99
Strategische Kundenanalyse in mittelgroen Familienunternehmen
$74.99
The Making of a Pandemic
$59.99
Data Management for Mobile Computing
$169.00
Cost-sharing and Accessibility in Higher Education: A Fairer Deal?
$84.99
Computational Diffusion MRI
$44.99
Combustion of Two-Phase Reactive Media
$219.99
Somatic Stem Cells
$89.00
Upside-Down Magic: Upside-Down Magic (#1)
$4.49
Instandhaltungsmanagement in neuen Organisationsformen
$59.99
Silicon Carbide Nanostructures
$179.99
Verkaufsmanagement
$39.99
Progress in Botany / Fortschritte der Botanik
$109.99
Favorite Books Grade 2 (25 books)
$115.00
The Culture and Communities Mapping Project
$49.99
Sensors and Microsystems
$219.99
Formulas Useful for Linear Regression Analysis and Related Matrix Theory
$54.99
Luck: Its Nature and Significance for Human Knowledge and Agency
$54.99
Stability of Fluid Motions I
$109.99
The Subtropical Vegetation of Southwestern China
$129.00
Ambient Intelligence in Everyday Life
$54.99
Therapiestudien
$69.99
Star Sociologists
$109.00
Social Media Audit
$49.95
Modern Biotechnology in Postmodern Times?
$39.99
Health Risks and Fair Compensation in the Fire Service
$129.99
Multinational Companies in Low-Income Markets
$39.99
