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
Urban Change in Iran
$109.99
Ambient Assisted Living and Daily Activities
$39.99
100 years of European Philosophy Since the Great War
$84.99
Final Basel III Modelling
$89.99
Reducing Restraint and Restrictive Behavior Management Practices
$84.99
Practical Applications of Fiberoptics in Critical Care Monitoring
$109.99
The Crime of Conspiracy in International Criminal Law
$109.99
Schattenperspektive
$69.99
Sovereignty Games
$84.99
Eden's Everdark
$5.96
Financial Fragility, Debt and Economic Reforms
$54.99
Politikberatung und Lobbyismus im parlamentarischen Entscheidungsprozess
$34.99
Global Change and Human Mobility
$54.99
The Myth of Sisyphus by Albert Camus
$16.00
Wireless Sensor Networks
$39.99
Probability: A Graduate Course
$84.99
Die Digitalisierung der Amtsermittlung im Steuerverfahren
$79.99
Cultural Studies in the Classroom and Beyond
$99.99
Die Vgel des Freistaates und Frstentums Lbeck
$44.99
Empirico-Statistical Analysis of Narrative Material and its Applications to Historical Dating
$84.99
Mixing
$159.99
Die Industrie der Ammoniak- und Cyanverbindungen
$74.99
Viscosity and Boundary Layer Methods
$84.99
Transformations in EU Gender Equality
$99.99
Interviews fhren
$37.99
Urbane Sicherheit und Partizipation
$49.99
Collected Papers V. Phenomenology and the Social Sciences
$219.99
Legal Constraints on EU Member States in Drafting Accession Agreements
$139.99
kosystemforschung
$69.99
Einkaufsvorbereitung
$59.99
Geostatistical Simulation
$109.99
Multinationals, Technology and Exports
$129.00
Current Trends in Computational Modeling for Drug Discovery
$249.99
Black British Writing
$54.99
Mathematical Modeling in Biomedical Imaging I
$39.99
Atomic and Electronic Structure of Surfaces
$109.99
Aufgaben und Lsungsmethodik Technische Mechanik
$39.99
Behavioural Ecology of Ants
$109.99
Educational Innovation in Economics and Business Administration:
$219.99
Functional Bladder Reconstruction Following Spinal Cord Injury via Neural Approaches
$109.99
