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
Analyse der neueren Entwicklung in der Ausbildung von Technischen Lehrern fr die Berufsausbildung i
$34.99
Type-2 Fuzzy Logic in Intelligent Control Applications
$109.99
Holistic Design of Resonant DC Transformer on Constant Voltage Conversion, Cascaded Stability and Hi
$139.99
How Einstein Created Relativity out of Physics and Astronomy
$109.99
Grundfragen der betrieblichen Personalpolitik
$44.99
Erkrankungen der Kieferhhle
$119.99
Vita-Massenez Chemische Untersuchungsmethoden fr Eisenhtten und Nebenbetriebe
$59.99
Anton Bruckner
$29.99
Toward a New (Old) Theory of Responsibility: Moving beyond Accountability
$54.99
Computer Games
$54.99
Epilepsy and the Corpus Callosum
$39.99
JavaScript Creativity
$39.99
Languages Alive
$54.99
Knowledge Generation and Technical Change
$84.99
Ramanujans Notebooks
$149.00
Seeking Peace in El Salvador
$54.99
Die Mathematik hinter Klang und Musik
$19.99
Multimodal Treatment of Recurrent Pelvic Colorectal Cancer
$109.99
Politische Kultur- und Demokratieforschung
$34.99
The Macmillan-Eisenhower Correspondence, 1957-69
$109.99
Advances in Healthcare Informatics and Analytics
$54.99
Lagrangian Oceanography
$119.99
Die mediale Natur der Produkte
$29.99
Part 1 Schrdinger in Vienna and Zurich 18871925
$379.99
Pandemics and Ethics
$179.99
Knowledge Science, Engineering and Management
$79.99
Multiobjective Scheduling by Genetic Algorithms
$219.99
Fit fr gute 120 Jahre
$24.99
Steuern, Wahrnehmung und Entscheidungsprozesse
$59.99
Manual of Plastics Analysis
$219.99
Spannungsfeld Personalentwicklung
$69.99
Lasers and Excited States of Rare Earths
$39.99
SOFSEM 2012: Theory and Practice of Computer Science
$39.99
Energy Efficiency in Motor Systems
$249.99
The Read-Out Controller ASIC for the ATLAS Experiment at LHC
$199.99
Homophones Grade 2 Differentiation Pack
$5.99
Einfhrung in die Programmiersprache Ada
$59.99
Multifractal Based Network Traffic Modeling
$84.99
Die Bildungsentscheidung aus Schler-, Eltern- und Lehrersicht
$59.99
Grundrechtsschutz in Europa
$69.95
