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
Bell's Theorem, Quantum Theory and Conceptions of the Universe
$299.99
Analyse der Fette und Wachsarten
$79.99
Nuclear Receptors
$219.99
English Womens Spiritual Utopias, 1400-1700
$89.99
Investigative Journalism, Environmental Problems and Modernisation in China
$54.99
Software Sustainability
$159.99
World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany
$219.99
Bipolar Disorder
$109.99
Mechanics of Soft Materials
$39.99
Nature and Experience in the Culture of Delusion
$109.99
28 Days
$8.21
Methodenbuch Soziale Arbeit
$29.99
Memory and Massacre
$54.99
Advances in Data Mining: Applications and Theoretical Aspects
$54.99
Atlas of PET/CT in Oncology - Volume 1
$169.99
Prfungsvorbereitung Geprfter Betriebswirt (IHK)
$34.99
Beautiful & Brave: Brave
$5.21
Jakob Levi Moreno
$64.99
Radiowave Propagation and Smart Antennas for Wireless Communications
$39.99
Diagrams in Civic Education
$44.99
Science Education in East Asia
$109.99
Fundamental Mathematical Structures of Quantum Theory
$49.99
Semantics of Violence
$119.99
An Inquiry into Women Representation in Management
$129.99
Energy Balance and Prostate Cancer
$169.99
Strukturdynamik
$69.95
Studies on China's Special Economic Zones 2
$109.99
The Fall of France in the Second World War
$109.99
Artificial Intelligence for Financial Markets
$139.99
Acquisition, Analysis and Use of Clinical Transplant Data
$54.99
Fault-Tolerant Distributed Computing
$39.99
Die Produktivitt des Sozialen - den sozialen Staat aktivieren
$44.99
Cinema and Community
$39.99
Organisationsformen der Erkenntnisgewinnung
$49.99
Digital Control in Power Electronics, 2nd Edition
$64.99
Computer Graphics for Artists: An Introduction
$44.99
Optimization and Related Fields
$44.99
Online-Vergesellschaftung?
$59.99
S3-Leitlinie Zwangsstrungen
$44.99
Nuclear Structure of the Zirconium Region
$109.99
