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
Memory and Postwar Memorials
$109.99
Hydrodynamic Behavior and Interacting Particle Systems
$39.99
A Conceptual History of Modern Embryology
$84.99
Kurdish Diasporas
$109.99
Scripting Farming Simulator with Lua
$49.99
Immunological Synapse
$169.99
Nuclear and Particle Physics at Intermediate Energies
$54.99
From Industrial Organization to Entrepreneurship
$109.99
Principles and Management of Adrenal Cancer
$39.99
How Handedness Shapes Lived Experience, Intersectionality, and Inequality
$129.99
Shadowhouse Fall (Hardcover)
$14.24
German Buyouts Adopting a Buy and Build Strategy
$54.99
Masonry: Building Pathologies and Design
$199.99
Blut Und Blutkrankheiten
$59.99
Wish Novels: Alpaca My Bags
$5.24
Analysis of SAR Data of the Polar Oceans
$84.99
Aus allen Weltteilen gypten mit Sudan und Libyen
$79.99
Dispersion in Heterogeneous Geological Formations
$109.99
Die Wunderheiler der Weimarer Republik
$49.99
Protein Structure, Stability, and Interactions
$169.99
Der Ministerrat der DDR
$59.99
State and Society in Post-Socialist Economies
$109.99
The Stewardship of Higher Education
$49.99
Influence of Social Media in a Changing Landscape of Crisis
$109.99
Rooting Memory, Rooting Place
$54.99
The Intimate City: Walking New York by Michael Kimmelman
$30.00
Heine-Jahrbuch 2020
$19.99
Capitalism and Climate Change
$54.99
Resilience and Stability of Ecological and Social Systems
$54.99
Designing Critical and Creative Learning with Indigenous Youth
$39.99
Quantitative Finance
$99.99
SOFSEM 2012: Theory and Practice of Computer Science
$39.99
Die Macht moralischer Argumente
$49.99
Handbook on Data Management in Information Systems
$169.00
After Apollo?
$64.99
Career Development and Systems Theory
$49.99
The Globalization of Chinese Propaganda
$109.99
Ethnic Identity and the State in Iran
$54.99
Personelle Verflechtungen auf Konzernfhrungsebene
$59.99
