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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
Reviews
Questions & Answers
Past Imperfect, Future UNcertain
$29.99
Beginning Rails 6
$69.99
El Capitn Calzoncillos y la furia de la Supermujer Macroelastica (Captain Underpants #5)
$5.99
Low-Power High-Speed ADCs for Nanometer CMOS Integration
$109.99
Proceedings of Sixth International Conference on Inventive Material Science Applications
$189.00
Neuropsychology of Communication
$84.99
Time-Harmonic Electromagnetic Fields in Chiral Media
$39.99
Advocacy in Health Care
$109.99
Ethics and International Relations
$109.99
Art And Mind Of Shaw
$19.99
Information Dissemination in Currency Crises
$54.99
Vereinbarungen zur einheitlichen Untersuchung und Beurtheilung von Nahrungs- und Genussmitteln sowie
$59.99
Practical CockroachDB
$44.99
Criminal Justice and Corruption
$89.99
The Case of State Liability
$54.99
Retrieving Liberalism from Rationalist Constructivism, Volume I
$119.00
When I Am Old With You
$5.99
Approaches to Algebra
$299.99
Finanzierungsdesign bei Venture-Capital-Vertrgen
$59.99
Landscapes and Landforms of the Horn of Africa
$169.99
Seismic Waves in Laterally Inhomogeneous Media Part II
$37.99
HLA Class II Antigens
$84.99
Power Vacuum Tubes Handbook
$84.99
Urinary Fistula
$119.99
Der Anti-Stress-Trainer
$29.99
Tumors of the Central Nervous system, Volume 3
$219.99
Hardening Azure Applications
$24.99
Postmonolingual Transnational Chinese Education
$49.99
Field Crop Diseases Handbook
$109.99
Internationale des Schwertes Transnationale Beziehungen im Zeitalter der vaterlndischen Streitkr
$54.99
Person und Dasein
$84.99
Education, Creativity, and Economic Empowerment in Africa
$54.99
Information Security for Global Information Infrastructures
$169.00
The Social Life of Avatars
$109.99
Konstruktive Argumentation und interpretative Erfahrung
$59.99
Planting A Rainbow
$6.50
Die Blutgruppen als Beweismittel im Vaterschaftsprozess
$69.99
Angewandte Mikrokonomie und Wirtschaftspolitik
$29.99
Rumble of the Coaster Ghost: A Branches Book (The Notebook of Doom #9)
$5.24
Economists in Discussion
$84.99
