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
The Poetic Music of Wallace Stevens
$99.00
Praxis solarthermischer Kraftwerke
$119.00
Dynamic Meteorology
$129.00
High-Temperature Superconductors
$119.00
Nachhaltige Entwicklung technischer Produkte und Systeme
$44.99
Collaborative Design in Virtual Environments
$84.99
Zur Differenzierung der Bakterien der Alkaligenes-Gruppe
$44.99
Excel 2010 for Engineering Statistics
$54.99
Product Development Strategy
$109.99
Ludics, Dialogue and Interaction
$39.99
Applied Probability-Computer Science: The Interface Volume 1
$39.99
Polish River Basins and Lakes Part II
$219.99
Inszenierung von Politik
$44.99
Normative Readings of the Belt and Road Initiative
$159.99
Basic and Clinical Applications of Vision Science
$129.00
Structure Determination by X-ray Crystallography
$109.99
The British Soldier and his Libraries, c. 1822-1901
$27.99
Shifting Paradigms in Software Engineering
$54.99
Children Affected by Armed Conflict in the Borderlands of Thailand
$139.99
Reviews of Environmental Contamination and Toxicology
$84.99
Design, Specification and Verification of Interactive Systems 95
$54.99
Biotechnology for Pulp and Paper Processing
$129.00
Histopathologie des weiblichen Genitaltraktes
$69.99
Microbial Ecology of a Brackish Water Environment
$109.99
Untersuchungen zur Resttragfhigkeit von gebrochenen Verglasungen
$49.99
Technology and Global Public Health
$99.99
Berliner Arbeitsnachweis
$44.99
Proceedings of Topical Issues in International Political Geography
$129.00
Praxiswissen Umwelttechnik Umweltmanagement
$59.99
Einfhrung in die Chemische Physiologie
$44.99
Theory and Research in Behavioral Pediatrics
$109.99
Preeclampsia
$199.99
Myths and Fairy Tales in Contemporary Women's Fiction
$54.99
The Political Thought of Bolivar
$109.99
Job Scheduling Strategies for Parallel Processing
$39.99
Transport Phenomena in Multiphase Flows
$89.00
Current and New Directions in Discourse and Dialogue
$169.99
Neisseria gonorrhoeae
$169.99
Die Hygiene des Wassers
$49.99
Eastern and Cross Cultural Management
$39.99
