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
Stylistics
$44.99
Revisiting Secularism in Theory and Practice
$54.99
From the Great Wall to Wall Street
$37.99
Monitoring in Ansthesie und Intensivmedizin
$54.99
Specifications of Database Systems
$54.99
Die Innovationskraft von touristischen Familienunternehmen
$49.99
Cooperative Knowledge Processing for Engineering Design
$169.00
New Technologies for Supercolliders
$54.99
Instrumentation and Measurement Technologies for Water Cycle Management
$84.99
Grundlagen der Organisation
$69.99
Virology of Flowering Plants
$39.99
The Global Competitiveness of the Asian Firm
$129.00
Rapid Methods and Automation in Microbiology and Immunology
$109.99
Managing Care: A Shared Responsibility
$129.00
Constraints and Opportunities in Shaping the Future: New Approaches to Economics and Policy Making
$249.99
International Conference on Advances in Pattern Recognition
$84.99
Horizontal Gene Transfer
$329.99
Boomerang Kids: The Demography of Previously Launched Adults
$64.99
Philosophical Perspectives on Brain Data
$49.99
EPSA Philosophical Issues in the Sciences
$169.99
Kinderdiakoninnen im Transformationsprozess
$49.99
Applied RNA Bioscience
$129.00
Advances in Computational Intelligence
$54.99
Information Systems Management in the Big Data Era
$54.99
Uniting Marketing Efforts for the Common GoodA Challenge for the Fourth Sector
$149.00
Graph Drawing and Network Visualization
$89.99
Atlas der Histopathologie
$59.99
AI Technologies for Information Systems and Management Science
$199.99
Lebenszeiten
$49.99
Performing Piety
$60.00
The Reflection in Me (Hardcover)
$14.24
Was ist eine gute Frage?
$39.99
Advances in Web Semantics I
$39.99
History of Ophthalmology 1
$39.99
Angemessenheit im Scheidungsrecht
$59.99
Eighth E.C. Photovoltaic Solar Energy Conference
$109.99
The One You're with by Lauren K. Denton
$17.99
The Deconfinement Transition of QCD
$79.99
Infant Nutrition
$54.99
