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
Natural Polymeric Materials based Drug Delivery Systems in Lung Diseases
$149.00
Abdominelle Duplex-Sonographie bei Kindern
$69.99
Nuclear Reactions II: Theory / Kernreaktionen II: Theorie
$39.99
State Voting Laws in America: Historical Statutes and Their Modern Implications
$54.99
Molecular Neurobiology
$39.99
Fehlertolerante Mikroprozessorsysteme
$59.99
Bridging Human Intelligence and Artificial Intelligence
$169.99
Recent Advances in Computer Science and Information Engineering
$219.99
Einleitung in die griechische Philologie
$64.99
Learning Systems: Decision, Simulation, and Control
$39.99
Marketinginformatik
$69.99
Das Geflecht aktiver Brger
$69.99
Wild World: Pets and Wild Animals: Horse or Zebra
$5.24
Risikoprmien an Devisenmrkten
$49.99
Environmental Performance in Democracies and Autocracies
$54.99
Ultra-High Temperature Materials II
$279.99
The Centenary of a Paper on Slow Viscous Flow by the Physicist H.A. Lorentz
$84.99
Organizing Democracy
$119.99
Aachener Bausachverstndigentage 2017
$34.99
The Arab Gulf States and Reform in the Middle East
$54.99
Promoting Language and STEAM as Human Rights in Education
$159.99
Introduction to Modeling for Biosciences
$69.99
Rookie Read-About Science-Strange Animals: Incredible Insects
$3.71
White Dwarfs: Cosmological and Galactic Probes
$84.99
Gender,Justice and Welfare in Britain,1900-1950
$109.99
Ukraine, The EU and Russia
$84.99
Probleme der Modernen Kosmogonie
$64.99
Making Christ Present in China
$39.99
Trends in Practical Applications of Agents and Multiagent Systems
$329.99
HNO-rztliche Untersuchungstechnik
$59.99
Bendy: Crack-Up Comics Collection
$9.74
Proceedings of International Conference on Sustainable Expert Systems
$109.99
Neuro-Behavioral Determinants of Interlimb Coordination
$129.00
Flexible Exchange Rates and Stabilization Policy
$44.99
Wissenschaft und Diplomatie
$84.99
Computer Vision ECCV 2018
$109.99
Smart Card Research and Advanced Applications
$54.99
Chinas Urban Agglomerations
$129.00
Web and Big Data
$79.99
Solid Electrolytes for Advanced Applications
$179.99
