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
Europeanization of the Western Balkans
$54.99
Electronic Measurements
$44.99
Preparing Informal Science Educators
$219.99
Complications in Maxillofacial Cosmetic Surgery
$169.99
King George: What Was His Problem?
$5.96
Bookish Histories
$54.99
Critical Psychotherapy, Psychoanalysis and Counselling
$99.99
Trace Metals in a Tropical Mangrove Wetland
$109.99
Popper and the Human Sciences
$109.99
The Medical-Legal Aspects of Acute Care Medicine
$199.99
Scholar Zone Summer ELA and Math Grade 3 (2 Scholar)
$230.00
Rookie Poetry - Holidays and Celebrations: Let's Celebrate Thanksgiving
$4.46
Non-Connected Convexities and Applications
$109.99
Police Conflict Management, Volume I
$109.00
Critical Essays on Language Use and Psychology
$109.99
bungen und Fallbeispiele zum Operations Research
$37.99
Optical Diagnostics for Flow Processes
$169.99
Neuroendocrine Tumors
$109.99
Cooperative Design, Visualization, and Engineering
$74.99
Gears
$54.99
Proceedings of the Sixteenth International Conference on Management Science and Engineering Manageme
$329.99
Formal Thought and the Sciences of Man
$129.00
Climate Change Adaptation in Developed Nations
$219.99
Fischsperma und Fischrogen als Nahrungsmittel fr den Menschen
$59.99
Urbanisation, unlimited
$84.99
Autonomic Nervous System and Sleep
$179.99
Real Estate Education Throughout the World: Past, Present and Future
$169.00
Preisindex und Baukosten im Wohnungsbau
$59.99
Gesammelte Abhandlungen zur Vererbungswissenschaft aus periodischen Schriften 1899-1924. Zum 60. Geb
$59.99
Elliptic Curves and Arithmetic Invariants
$159.99
Batch Chemical Process Integration
$219.99
450 Keywords Digitalisierung
$24.99
Global Elites
$39.99
Simple Theorems, Proofs, and Derivations in Quantum Chemistry
$219.99
Mathematical Problems and Proofs
$84.99
Essays on congruence theory in marketing
$39.99
Early Phenomenology in Central and Eastern Europe
$119.99
Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations
$129.00
The Philosophy of Mathematics Education
$19.99
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges
$49.99
