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
Graphs in Perturbation Theory
$129.99
Urban Runoff Pollution
$129.00
Investigating the Performance of Chinese Banks: Efficiency and Risk Features
$54.99
High Performance Clock Distribution Networks
$84.99
The American Exception, Volume 2
$99.99
The Migration-Development Nexus
$54.99
Medizinrecht
$129.00
Understanding Conflict Between Russia and the EU
$54.99
Varizen, Ulcus cruris und Thrombose
$99.99
Who Would Win?: Ultimate Reptile Rumble
$3.74
Mobile Chinese Entrepreneurs
$84.99
Prostaglandine in Gynkologie und Geburtshilfe
$69.99
I Can Read! Level 1 - I Want to Be.: I Want to Be a Doctor
$4.46
Das Eiszeitalter
$39.99
Transactions on Rough Sets XXIII
$129.99
A Comparative Geography of China and the U.S
$109.99
Biochemical and Physiological Aspects of Ethylene Production in Lower and Higher Plants
$169.00
Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control
$109.99
Regelung mechanisch steifer Direktantriebe fr Werkzeugmaschinen
$79.99
An Invitation to Abstract Mathematics
$54.99
Handbuch Digitalisierung in Staat und Verwaltung
$119.99
A Philosophy of Person and Identity
$119.99
Neurowissenschaften
$79.99
Corporate Social Responsibility in Poland
$109.99
Beitrag zur Behandlung von Stabilittsproblemen bei Systemen mit vernderlichen Grenzen
$59.99
Advanced Computing
$109.99
Die Auswirkungen der Lagerdispositionen des Handels und der Industrie auf den Auftragseingang vorgel
$59.99
Pathogenesis of Idiopathic Scoliosis
$149.00
Applications and Markets for Cooperating Objects
$54.99
Financial Institutions and Markets
$84.99
Magnetic Stochasticity in Magnetically Confined Fusion Plasmas
$179.99
Producing History in Spanish Civil War Exhumations
$99.99
Photonic Artificial Intelligence
$39.99
Optimal Control and Differential Games
$109.99
Basic Music Technology
$89.99
Baby-Sitters Little Sister: #14 Karen's New Year
$5.24
Numerik
$69.95
Football Fandom in Europe and Latin America
$119.00
Computers in Swedish Society
$109.99
Paradigms in Cryptology Mycrypt 2016. Malicious and Exploratory Cryptology
$39.99
