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
Introducing Web Development
$19.99
Die Eisenbahn im Wirtschaftsleben
$59.99
Modelling and Control of Dynamical Systems: Numerical Implementation in a Behavioral Framework
$109.99
Applying Computational Intelligence
$109.99
Smoothing Spline ANOVA Models
$169.99
Commercialization of Postal and Delivery Services: National and International Perspectives
$129.00
Underwater Construction: Development and Potential
$169.99
The Scientific Satellite Programme during the International Magnetospheric Study
$129.00
Eyes on the Universe
$54.99
Pseudorandom-Signalverarbeitung
$39.99
Principles of Photonic Integrated Circuits
$54.99
Submerged Cultural Resource Management
$109.99
Ovarian Follicular and Corpus Luteum Function
$84.99
Imprecise and Approximate Computation
$84.99
Advances in Dynamic Systems and Stability
$54.99
Bo's Magical New Friend: A Branches Book (Unicorn Diaries #1)
$3.74
Bioactive Components
$199.99
Towards Wise Management
$54.99
Freiwillige Gerichtsbarkeit
$54.99
Time and Temporality in Organisations
$119.00
Anschauliche Physik
$39.99
Strukturen und Prozesse Neue Anstze in der Biometrie
$69.99
Pathophysiology of Shock, Sepsis, and Organ Failure
$129.00
Operational Amplifier Speed and Accuracy Improvement
$139.00
Objects and Databases
$39.99
Augmented and Virtual Reality
$54.99
Advanced Engineering, Technology and Applications
$79.99
Homological Mirror Symmetry and Tropical Geometry
$119.99
Customer Integration in Industrial Innovation Projects
$54.99
Methoden der Biographie- und Lebenslaufforschung
$49.99
Advances in Environmental Vibration and Transportation Geodynamics
$219.99
Dehumanization of Warfare
$139.00
Quartier macht Schule
$39.99
Happy Hair by Mechal Renee Roe
$16.99
Pharmazeutische Technologie
$64.99
Antike Metallurgie und Mnzprgung
$34.99
Process Control Systems
$54.99
Scholar Zone Extended Learning Math Grade 1 (2 Scholar)
$75.00
Lehrbuch der Inneren Medizin
$49.99
Electrical and Magnetic Methods of Non-destructive Testing
$219.99
