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
ICT Innovations for Sustainability
$249.99
Kombinationsansthesie
$69.99
Modernizing NATOs Nuclear Weapons
$44.99
3000 Jahre Analysis
$64.99
Race and Curriculum
$39.99
Procedural Safeguards for Suspects and Accused Persons in Criminal Proceedings
$59.99
A Reflection on Sraffas Revolution in Economic Theory
$149.00
Mechanism and Theory in Food Chemistry, Second Edition
$89.99
The Power Makers' Challenge
$84.99
G Protein-Coupled Receptors
$54.99
Affektive Psychosen
$59.99
Ready-To-Go 100 Book Classroom Library: Favorites, Grade 8
$599.00
7th International Conference on University Learning and Teaching (InCULT 2014) Proceedings
$169.00
The Language of Employability
$109.99
Die Antisoziale Persnlichkeitsstrung
$84.99
Pattern Recognition and Image Analysis
$109.99
Bionanocomposites for Packaging Applications
$84.99
Kombinatorik
$49.99
Powerful Finance and Innovation Trends in a High-Risk Economy
$109.99
Geological and Biological Effects of Impact Events
$84.99
Illumination and Color in Computer Generated Imagery
$39.99
Diagnostics Development on the Route Towards Fusion Reactors
$169.99
Stochastic Differential and Difference Equations
$39.99
Lectures in Probability and Statistics
$54.99
ber Silikone und ihre Anwendung in der Textilveredlung
$59.99
Competition and the Regulation of Utilities
$129.00
Grundkurs Theoretische Physik 2
$39.99
Myths and Fairy Tales in Contemporary Women's Fiction
$54.99
Micro-algae: Next-generation Feedstock for Biorefineries
$219.99
Scholastic News Science Reader: Plants
$2.95
Functional Imaging and Modeling of the Heart
$79.99
Fallbuch Suizid und Suizidprvention
$49.99
Perspektiven der Chirurgie im 21. Jahrhundert
$44.99
Streetball
$59.99
Language in Focus: Foundations, Methods and Systems
$169.99
Dynamic Biological Organization
$169.00
Shuri: A Black Panther Novel (Marvel) (Hardcover)
$13.49
Middleware Solutions for the Internet of Things
$39.99
Frakturen und Luxationen
$69.95
Nitrogen Fixation
$84.99
