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 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
Partnerlosigkeit in Deutschland
$59.99
Collaborative Public Diplomacy
$54.99
FEFLOW
$229.00
The Welfare Trait
$109.99
Agri-food and Forestry Sectors for Sustainable Development
$129.99
Bacterial Sensors
$29.99
Soft Computing: Theories and Applications
$169.99
Fundamentals of Continuum Mechanics of Soils
$84.99
Guide to Teaching Computer Science
$69.99
Advanced Analysis
$54.99
Compact Low-Voltage and High-Speed CMOS, BiCMOS and Bipolar Operational Amplifiers
$219.99
Aktuelle Probleme aus dem Gebiet der Cancerologie III
$69.99
Alternative Pseudodifferential Analysis
$49.99
Annherung an die Volkspartei
$59.99
Cosmic Electrodynamics
$219.99
Frchte des Meeres
$29.99
Springer Handbook of Atmospheric Measurements
$299.00
Digitale Medien zwischen Transparenz und Manipulation
$69.99
Teacher Education in Lifelong Learning
$109.99
Adapting Television Drama
$44.99
Chromatin Architecture
$84.99
Do Economic Sanctions Work?
$169.99
Turbulence, Dynamos, Accretion Disks, Pulsars and Collective Plasma Processes
$169.00
Nutrient Cycling in Terrestrial Ecosystems
$169.99
Web and Big Data
$79.99
Reforming the Reforms in Latin America
$109.99
Operationstechnik und technische Hilfsmittel in der Chirurgie
$69.99
Besser, nicht geboren zu sein?
$54.99
Metal Cutting Theory
$139.00
Juliet Mitchell and the Lateral Axis
$109.99
In Vitro Embryogenesis in Plants
$219.99
Geometrische Verfahren der Graphischen Datenverarbeitung
$59.99
Long Continental Records from Lake Baikal
$109.99
Masse Macht Emotionen
$64.99
Engineering Multi-Agent Systems
$54.99
Rise to the Sun (Hardcover)
$14.24
Lamsche - Mathieusche - und Verwandte Funktionen in Physik und Technik
$64.99
Continuing Education and Training
$129.99
First Course in Algorithms Through Puzzles
$49.99
Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms
$39.99
