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
Genetic Basis of Oral Health Conditions
$109.99
Die Beseitigung der beim Tauch- und Spritzlackieren entstehenden Dmpfe
$59.99
Geological Background of Sandstone-Type Uranium Deposits in Ordos Basin, Northwest China
$179.99
Nonequilibrium Cooperative Phenomena in Physics and Related Fields
$54.99
Trace Fossil Analysis
$54.99
Erzeugnisplanung und Produktionsprogramm
$44.99
Coping with Physical Illness Volume 2 : New Perspectives
$109.99
Market-Oriented Technology Management
$109.99
Investigators: Survival: Gross Defenses
$4.46
Foundations of GTK+ Development
$39.99
DC Comics: Secret Hero Society #5: Field Trip Disaster (Hardcover)
$9.74
4th International Conference on Computational Mathematics and Engineering Sciences (CMES-2019)
$219.99
The Return of Totalitarianism
$99.00
Corporate Financial Decisions and Market Value
$109.99
CFD for Wind and Tidal Offshore Turbines
$84.99
Emotionen und Fhrung
$74.99
Excel und VBA
$44.99
First-order Representations of Linear Systems
$39.99
1st World Congress on Electroporation and Pulsed Electric Fields in Biology, Medicine and Food & Env
$219.99
Molecular Basis of Specificity in Nucleic Acid-Drug Interactions
$39.99
The Role of Oxygen Radicals in Cardiovascular Diseases
$169.99
Die Auswirkung regelmiger Atempausen auf die CO2-Elimination der maschinell beatmeten und perfundi
$59.99
Naming Game
$109.99
Make-or-Buy-Entscheidungen im Finanzmanagement
$49.99
Feature and Dimensionality Reduction for Clustering with Deep Learning
$129.99
Artillerie und Ballistik in Stichworten
$84.99
Spatial Modeling and Assessment of Environmental Contaminants
$179.99
Trade Logistics in Landlocked and Resource Cursed Asian Countries
$139.99
Multi-MHz High Frequency Resonant DC-DC Power Converter
$129.99
Fest und Zeitenwende
$49.99
Handbuch der Feuerungstechnik und des Dampfkesselbetriebes
$59.99
The Zoogeography of Israel
$329.99
Asymptotic Combinatorial Coding Theory
$109.99
Die Kriegsmusik der deutschen Klassiker und Romantiker
$49.99
Making Democratic Citizens in Spain
$54.99
Supercomputing
$54.99
Internationales Personalmarketing
$44.99
Transitioning Towards a Knowledge Society
$99.99
Pharmakologisches Neuroenhancement unter Studierenden
$49.99
Daily Word Ladders: Grades K-1
$11.24
