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 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
Reviews
Questions & Answers
Successful Innovation Systems
$89.99
World Trade
$59.99
Ich bin nicht dick, ich habe nur schwere Gene
$24.99
Partial Differential Equations through Examples and Exercises
$54.99
Springer Tracts in Modern Physics
$39.99
Riemann Surfaces and Generalized Theta Functions
$39.99
Expressions of High Status
$54.99
Chemistry of Engine Combustion Deposits
$39.99
Advances in Superconductivity VIII
$169.99
Making a Case for Stricter Abortion Laws
$59.99
Causes of Changes in the Structure of International Trade, 1960-85
$69.99
Chinas Road to Human Rights Development
$129.99
Practical Physiotherapy with Older People
$39.99
Vertragsgestaltung bei Informationsasymmetrie
$44.99
The Politics of Power
$79.99
Absorbing Boundaries for the Time-Domain Analysis of Dam-Reservoir-Foundation Systems
$54.99
Moderne Stationsorganisation im Krankenhaus
$54.99
Reform der sozialen Sicherung
$29.99
Die rechtliche Organisation kollektiver Patienteninteressen
$89.99
Logistikkostenrechnung
$99.99
Die chirurgische Behandlung der Lungentuberkulose
$34.99
The Dynamics of Poverty
$119.99
Computational Intelligence
$109.99
Computational Intelligence and Intelligent Systems
$39.99
Programmieren mit Fortran 90
$49.99
Positive Psychological Intervention Design and Protocols for Multi-Cultural Contexts
$159.99
Aging and Lung Disease
$89.00
South African Institute of Computer Scientists and Information Technologists
$64.99
A Course in Enumeration
$59.99
Models for Cooperative Games with Fuzzy Relations among the Agents
$84.99
Certified Programs and Proofs
$54.99
Multilingual Dramaturgies
$99.00
Advances in CT IV
$109.99
The Ecology and Semiotics of Language Learning
$109.99
The Moral Prism
$99.00
Micrometeorology
$109.99
Chemistry of Natural Products
$49.99
Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II
$84.99
Computational Finance with R
$129.00
Frauen "unter sich"
$49.99
