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 Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, 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
Beneficial Microorganisms in Medical and Health Applications
$84.99
Das Bereicherungsprinzip im Erbschaft- und Schenkungsteuerrecht
$44.99
Jellyfish Blooms
$129.00
Fieldwork for Healthcare
$44.99
Lineares Optimieren
$59.99
Haloforms and Related Compounds in Drinking Water
$219.99
Opponents of the Annales School
$54.99
Digital-Forensics and Watermarking
$54.99
JIMD Reports, Volume 25
$84.99
Algebraic K-Theory: Connections with Geometry and Topology
$329.99
Approximation of Functions of Several Variables and Imbedding Theorems
$99.99
Bosch Autoelektrik und Autoelektronik
$129.00
Communities of Practice to Actively Manage Best Practices
$54.99
The Autonomy Paradox: Teachers Perceptions of Self-Governance Across Europe
$109.99
Calcified Tissues 1975
$59.99
Intelligent Computer Techniques in Applied Electromagnetics
$219.99
Lexikon der Notfallmedizin
$74.99
Bausteine der Wirtschaft
$29.99
Footwear Traction
$109.00
Kompetenzdiskurs und Bewerbungsgesprche
$69.99
Niels Bohr: His Heritage and Legacy
$84.99
The Evolution of Central Banking: Theory and History
$129.00
A SolarHydrogen Energy System
$84.99
Integrative Approaches to Sustainable Development at University Level
$129.00
Wie digitale Transformation mit Werten gelingt
$37.99
Coastal and Shelf Sea Modelling
$109.99
Criminal Justice, Risk and the Revolt against Uncertainty
$109.99
Job Scheduling Strategies for Parallel Processing
$39.99
Contrast-Enhanced Ultrasound Imaging of Hepatic Neoplasms
$139.99
Nonlinear Analysis and its Applications to Differential Equations
$84.99
Kultur und mediale Kommunikation in sozialen Netzwerken
$39.99
Next Generation Science Standards Collection Grade 2
$245.00
Oligarchic Party-Group Relations in Bulgaria
$54.99
Die Zukunft der Fhrung
$199.99
Yearbook of Intensive Care and Emergency Medicine 2009
$139.00
Experimentalphysik 1
$44.99
Chirurgie anorektaler Krankheiten
$59.99
Discovering Reality
$179.99
Erkrankungen des peripheren Nervensystems. Erkrankungen des vegetativen Nervensystems
$44.99
Hybrid Warfare 2.2
$109.00
