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 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
Reviews
Questions & Answers
The Verilog PLI Handbook
$169.00
Wellington's Men in Australia
$89.00
Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems
$84.99
The Physical Environment of the Faeroe Islands
$84.99
Tuchherstellung und Tuchmusterung die Herstellung des Wollfilzes
$49.99
Modeling for Government and Business
$84.99
Langeweile, berdru und Lebenssinn
$64.99
Volkswirtschaftliche Theorie der Firma
$69.99
Neuere Erfahrungen ber die Behandlung und Beseitigung der gewerblichen Abwsser
$59.99
Qualitative Research and Social Change
$54.99
Advanced Transmission Electron Microscopy
$139.99
Sustainable Agrochemistry
$129.99
Evidenzbasiertes Arbeiten in der Physio- und Ergotherapie
$29.99
Acid Deposition
$39.99
Die revolutionre Kraft der Ideen
$74.99
Model-Based Decision Support Methodology with Environmental Applications
$169.99
Plotin-Handbuch
$99.99
Feedback Linearization of RF Power Amplifiers
$84.99
Strategisches Industriegterdesign
$79.99
Random Contractions in Global Risk Governance
$179.99
Quantenfeldtheorie des Festkrpers
$64.99
Continuous-time Stochastic Control and Optimization with Financial Applications
$59.99
Fachlexikon Toxikologie
$34.99
Methods and Materials for Remote Sensing
$109.99
Automation in Anesthesia A Relief?
$109.99
Introduction to Singularities
$54.99
C*-Algebras
$109.99
Advanced Mechanical Science and Technology for the Industrial Revolution 4.0
$169.99
Potentialbewertung generativer Fertigungsverfahren fr Leichtbauteile
$84.99
Quantitative Neurophysiology
$29.99
CSR and Codes of Business Ethics in the USA, Austria (EU) and China and their Enforcement in Interna
$139.99
Reviews of Environmental Contamination and Toxicology Volume 224
$109.99
Photophysics of Ionic Biochromophores
$109.99
Migrating Modernist Performance
$39.99
The History of British Women's Writing, 1920-1945
$139.99
Computer Security - ESORICS 92
$54.99
Computed Tomography of Congenital Brain Malformations
$109.99
Innere Medizin
$59.99
Principles and Practice of Constraint Programming - CP 2005
$109.99
Das Problem der Industriearbeit
$59.99
