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 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 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
Scientific Literacy for Participation
$49.99
Gorros!
$3.71
High Dimensional Probability VIII
$99.00
Aufgabensammlung Technische Mechanik 3
$44.99
Interatomic Potential and Structural Stability
$84.99
Just Transitions and the Future of Law and Regulation
$159.99
Syndrome-based Approach to Diagnosis
$109.99
An Outline of the History of the Novela Picaresca in Spain
$54.99
Sociability, Social Capital, and Community Development
$39.99
Allgemeine Betriebswirtschaftslehre
$59.99
Die Budgetrechnung als Lenkungsinstrument der Geschftsleitung einer Universalbank
$64.99
New Cooperative Banking in Europe
$159.99
Moden in der Hip-Hop-Szene
$39.99
A New Driver of Regional Sustainability in Japan
$99.00
CMOS Test and Evaluation
$199.99
My Books Every Day Self-Awareness Grade 5 Student & Family Pack
$36.95
Pattern Recognition and Computer Vision
$54.99
Interstitial Cells of Cajal: Intestinal Pacemaker Cells?
$109.99
ADEX Optimized Adaptive Controllers and Systems
$169.99
Management and Leadership Skills for Medical Faculty and Healthcare Executives
$79.99
Judicial Governance and Democracy in Europe
$37.99
Critical Turning Points in the Middle East
$54.99
A Cookbook with Probability One
$49.99
The Force of Law Reaffirmed
$179.99
A Primer for Unit Root Testing
$109.99
Toward Behavioral Transaction Cost Economics
$159.99
The Theory of Indistinguishables
$109.99
Researching and Representing Mobilities
$54.99
Herbert Butterfield and the Interpretation of History
$109.99
Impact-Techniken in der Einzel- und Gruppenpsychotherapie
$37.99
Computational Science and Its Applications -- ICCSA 2012
$39.99
Benchmarking for Performance Evaluation
$109.99
Marathon Running: Physiology, Psychology, Nutrition and Training Aspects
$199.99
Nondestructive Characterization of Materials VI
$39.99
Leukemia
$84.99
Re-Visioning Europe
$84.99
Germany
$119.99
Commercial Nationalism
$109.99
Query Store for SQL Server 2019
$34.99
Lymphangiogenesis in Cancer Metastasis
$129.00
