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 $39.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
|
|
$39.99 | $39.99 |
|
$39.99 | 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
Strategic Human Resource Management in Higher Education
$169.99
Management of Benign Prostatic Hypertrophy
$84.99
Transactions on Computational Science I
$74.99
Expanding Horizons in Bioethics
$169.99
Riemann Solvers and Numerical Methods for Fluid Dynamics
$329.99
Materials Chemistry at High Temperatures
$109.99
MILK the vital force
$109.99
Vom Richtigen und Falschen in der elementaren Algebra
$19.99
Theory of Transformation Groups I
$139.99
The Triumph of Democracy and the Eclipse of the West
$39.99
Wenn Heimerziehung scheitert oder schwierige Jugendliche nicht mehr knnen
$49.99
Drug Delivery
$54.99
Bildung nach reaktionren Revolutionen
$64.99
Collaboration Technologies and Social Computing
$54.99
Coaching-Praxisfelder
$37.99
Es war die Khnheit meiner Gedanken
$19.99
Object-Oriented Macromedia Flash MX
$44.95
unterricht_kultur_theorie: Kulturelles Lernen im Fremdsprachenunterricht gemeinsam anders denken
$89.99
IUTAM Symposium on Mechanics of Passive and Active Flow Control
$129.00
Menschenrechte
$29.99
Von klassischer Verwaltung zu Public Governance
$44.99
Coleridge's Afterlives
$54.99
Erfolgreich gegen Zwangsstrungen
$34.99
Advances in Prostaglandin and Leukotriene Research
$169.99
Parity-time Symmetry and Its Applications
$249.99
Sprache, Flucht, Migration
$59.99
Defining Waka Musically
$44.99
The Families of the Monocotyledons
$74.99
Evolutionre Betrachtung der Marktdynamik
$49.99
Child Labor and Education in Latin America
$54.99
Childhoods in Peace and Conflict
$159.99
Regional Science in Business
$169.99
Calendar Mysteries: May Magic
$5.21
The New Political Economy of Land Reform in South Africa
$109.99
Predicting Room of Origin Fire Hazards
$139.99
Kryptographie
$44.99
Financial Transmission Rights
$249.99
The Ecology of Mycobacteria
$54.99
Integrative Tools fr die Team- und Organisationsdiagnose
$29.99
Jakob Levi Moreno
$64.99
