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
Computational Intelligence Methods for Bioinformatics and Biostatistics
$39.99
Quadratische Formen
$29.99
Metaprogramming in R
$44.99
Antarctica: Earth's Own Ice World
$44.99
Coolness, Scham und Wut bei Jugendlichen
$24.99
Reformism and Revisionism in Africa's Political Economy in the 1990s
$169.99
Flame Spectroscopy: Atlas of Spectral Lines
$54.99
Pathobiochemie und Funktionsdiagnostik der Niere
$69.99
COVID-19, Tourist Destinations and Prospects for Recovery
$199.99
Der Mensch als Mitte und Mastab der Medizin
$69.99
Kommunikation fr junge Unternehmen
$29.99
Heimat in Zeiten erhhter Flexibilittsanforderungen
$49.99
Electoral Rules and the Transformation of Bolivian Politics
$54.99
Molecularly Targeted Therapy for Childhood Cancer
$169.00
Vegetable Oil-Based Composites
$139.00
Making the Alliance Work
$44.99
Colonial Self-Government
$19.99
Semigroups and Their Subsemigroup Lattices
$109.99
Methane Production from Agricultural and Domestic Wastes
$54.99
Sozialdemokratische Reformpolitik und ffentlichkeit
$59.99
Methods of Mathematical Economics
$89.99
Mathematical Reliability: An Expository Perspective
$84.99
Benzodiazepines and Therapeutic Counselling
$54.99
British Poetry, 1900-50
$19.99
Spektrometrie im Fernlabor
$49.99
Languages, Design Methods, and Tools for Electronic System Design
$109.99
Rationales Handeln und soziale Prozesse
$89.99
Evolutionary Theory and Processes: Modern Horizons
$54.99
The Essentials in Pressure Monitoring
$109.99
Dynamic Meteorology
$169.99
Domain Adaptation in Computer Vision with Deep Learning
$169.99
Atmospheric Physics
$39.99
Urban Inequalities from Space
$179.99
Cleaner Combustion and Sustainable World
$349.00
Thermodynamik
$44.99
Kreislaufwirtschaft fr Unternehmen
$49.99
Advances in Nuclear Physics
$39.99
Current Treatment of Retroperitoneal Sarcomas
$99.99
Solvency II in the Insurance Industry
$179.99
Soldiers, Shahs and Subalterns in Iran
$109.99
