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
Interoperability of Heterogeneous IoT Platforms
$84.99
Nitrogen Economy in Tropical Soils
$329.99
Stability of Functional Equations in Several Variables
$84.99
Caddie Woodlawn
$5.96
Swing, Swing, Swing
$4.50
Food Justice in US and Global Contexts
$109.00
Principles of Cancer Treatment and Anticancer Drug Development
$69.99
Ageing, Narrative and Identity
$54.99
Organisational Behaviour in Health Care
$169.99
Responsive Open Learning Environments
$59.99
Kindheiten zwischen Familie und Kindertagessttte
$34.99
Ab Initio Studies on Superconductivity in Alkali-Doped Fullerides
$109.99
Acta Psychologica including Netherlands-Scandinavian Journal of Psychology
$54.99
Business Intelligence and Information Technology
$169.00
The World of Programming Languages
$139.00
Interactive Collaborative Robotics
$54.99
Theory of Multicomponent Fluids
$149.00
Morphological and Functional Aspects of Immunity
$39.99
Stevens, Williams, Crane and the Motive for Metaphor
$54.99
Pigments in Vegetables
$219.99
Clinical Low Field Strength Magnetic Resonance Imaging
$89.99
India and China
$109.99
Blood Pressure Monitoring in Cardiovascular Medicine and Therapeutics
$74.99
The Political Philosophy of Giambattista Vico
$39.99
City Mouse-Country Mouse
$2.99
Advances in Machine Learning and Signal Processing
$169.99
Complexities of Production and Interacting Human Behaviour
$84.99
ICCH Commodities Yearbook 1990
$74.99
China in the 1980s
$109.99
A Cartographic Analysis of Soviet Military City Plans
$199.99
Magnetic Bearings
$84.99
Reforms and Innovation in Education
$159.99
Biomedizinische Forschung zwischen Freiheit und Verantwortung
$89.99
Irish Contemporary Landscapes in Literature and the Arts
$54.99
Energie und soziale Ungleichheit
$69.99
kologische Aufwertung von Seedeichsystemen
$49.99
Entwicklung eines Marktpreis-Prfungsstandards fr ffentliche Auftrge
$69.99
Analytische Untersuchungen zur Technologie der Kugelbearbeitung
$69.99
The Sunna and its Status in Islamic Law
$109.99
Nonlinear Mechanics of Thin-Walled Structures
$109.99
