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:
Buy NASA Formal Methods for $54.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$54.99 | 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
Asymptotic Theory of Nonlinear Regression
$109.99
Agile Software Construction
$54.99
Chinese Religions and Welfare Regimes Beyond the PRC
$129.99
Advances in Air Pollution Profiling and Control
$84.99
Distributed Computing and Internet Technology
$54.99
Warfare Ecology
$169.99
International Handbook of Neuropsychological Rehabilitation
$169.99
Green Politics
$109.99
Biopolitics and Utopia
$54.99
Phonics Chapter Book - Level 2: Tales Once Told
$6.74
Implementing Sustainability in the Curriculum of Universities
$129.99
Veterinary Public Health & Epidemiology
$149.00
Dracula and the Eastern Question
$39.99
Geology and Mineral Resources of West Africa
$169.00
Solid (Bio)mechanics: Challenges of the Next Decade
$199.99
Perspectives on Social LCA
$39.99
Gene Therapy and Cell Therapy Through the Liver
$109.99
Intelligent Visual Surveillance
$39.99
Insight into Influenza Viruses of Animals and Humans
$129.00
Waltzing in the Dark
$109.99
Web-Based Applications in Healthcare and Biomedicine
$129.00
Prospects for Chemoprevention of Colorectal Neoplasia
$169.99
Leitfaden fr den Unterricht in der Stereometrie mit den Elementen der Projektionslehre
$49.99
Search for New Heavy Charged Bosons and Measurement of High-Mass Drell-Yan Production in ProtonProt
$84.99
Italy-China Trade Relations
$39.99
World Politics
$54.99
Predictive and Simulation Analytics
$99.99
The Surgery-First Orthognathic Approach
$129.99
Kreditrisikomodellierung
$69.99
Corporate Biodiversity Management for Sustainable Growth
$109.99
Gender and Decolonization in the Congo
$54.99
Handlungskrise Schulreform
$69.99
Selected Topics in Nonlinear Dynamics and Theoretical Electrical Engineering
$219.99
Controlling Soviet Labour
$44.99
Immunotherapy of Melanoma
$219.99
The Scent Keeper by Erica Bauermeister
$17.99
Douglas: Hugless Douglas and the Perfect Spring Day
$4.46
Metabolic Adaptation to Extrauterine Life
$54.99
Friction Stir Welding and Processing XI
$169.99
Electroplating Engineering Handbook
$549.99
