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 refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.
Reviews
Questions & Answers
Ethische Fragen in der Medizin
$84.99
Synthesis, Structure and Properties of Poly(lactic acid)
$299.99
Hydrodynamics and Stellar Winds
$39.99
Mining and Analyzing Social Networks
$84.99
Le Gothic
$39.99
Die Schlbeschdigung durch Hochwild, speciell in Fichtenbestnden
$79.99
Friction Stir Welding and Processing
$179.99
Der Weg zur Meisterschaft in der Fhrung
$44.99
Security, Privacy and User Interaction
$54.99
Migration and Religion in East Asia
$99.99
A Study of the Philosophy of International Law as Seen in Works of Latin American Writers
$54.99
Data-driven Decision-making for Product Managers
$37.99
Imaginary Worlds
$99.00
People Analytics im Profifuball
$74.99
Ausgewhlte Schriften
$74.99
Modelling and Simulation of Power Generation Plants
$84.99
Reproductive Immunology
$129.00
Underwater Acoustic Digital Signal Processing and Communication Systems
$249.99
Langzeitberleben nach Brustkrebs
$39.99
Beschrnkungen des Internetvertriebs aus kartellrechtlicher Sicht
$99.99
Reactive Oxygen Species and Antioxidant Systems in Plants: Role and Regulation under Abiotic Stress
$129.00
Constitutional Confrontation in Hong Kong
$109.99
Fine Scale Characterization of Shale Reservoirs
$39.99
The Italian Fashion System
$44.99
Foundations of Mathematical Optimization
$169.99
Cosine-/Sine-Modulated Filter Banks
$219.99
The Palgrave Handbook of Transnational Womens Writing in the Long Nineteenth Century
$229.00
Handbuch Europische Aufklrung
$24.99
Reciprocal Learning for Cross-Cultural Mathematics Education
$109.00
Verhandlungen der Deutschen Pharmakologischen Gesellschaft
$44.99
Finite Elements in Fracture Mechanics
$99.99
Die Beteiligungsfinanzierung
$59.99
Causes and Symptoms of Socio-Cultural Polarization
$139.00
Digital und vernetzt
$24.99
Ethical Challenges for Healthcare Practices at the End of Life: Interdisciplinary Perspectives
$54.99
The Politics of Sex Trafficking
$39.99
Zyklusbasierte Investitions- und Finanzierungsberatung
$69.99
Axial Flux Permanent Magnet Brushless Machines
$169.99
An Introduction to Traffic Flow Theory
$49.99
Immersive Technology in Smart Cities
$99.00
