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
Fishing Power Europe
$119.00
The Gelfand Mathematical Seminars, 19901992
$84.99
El Nio in World History
$119.99
Technology Transfer in the Developing Countries
$169.99
Insects and Hygiene
$109.99
Apoptosis Genes
$84.99
Structure, Dynamics, Interactions and Evolution of Biological Macromolecules
$54.99
Friction Stir Welding and Processing X
$249.99
Palliative Surgery
$89.00
Global Perspectives on Women in Combat Sports
$99.00
Grundkurs Codierung
$34.99
Hybrid Annuity Model (HAM) of Hybrid Public-Private Partnership Projects
$69.99
Get Well, Eva: A Branches Book (Owl Diaries #16)
$5.24
Classical and Quantum Physics
$109.99
Die USA am Beginn der neunziger Jahre
$59.99
Transforming the Patient Experience
$54.99
Impact-Techniken in der Einzel- und Gruppenpsychotherapie
$37.99
Zur Soziologie der Wahl
$59.99
Foundations of Topology
$84.99
Safe to Fail
$29.99
Supporting University Ventures in Nanotechnology, Biomaterials and Magnetic Sensing Applications
$109.99
Performance-Driven Surrogate Modeling of High-Frequency Structures
$109.99
Grafik mit dem HP-41
$59.99
Business for Sustainability, Volume II
$179.99
British Upper Carboniferous Stratigraphy
$169.00
Distributed Algorithms
$39.99
Bacterial Organelles and Organelle-like Inclusions
$179.99
Tabelle und Anleitung zur Ermittelung des Fettgehaltes nach vereinfachtem Verfahren in Nahrungsmitte
$49.99
Advances in Algebra and Geometry
$52.00
Complex Networks V
$219.99
Advances in Cryptology EUROCRYPT 2000
$84.99
Progress in Computational Flow-Structure Interaction
$219.99
Womens Agency in the Dune Universe
$99.00
Trade and Exchange
$109.99
Robust Motion Detection in Real-Life Scenarios
$39.99
Thermo-mechanisches Enteisungssystem auf Basis von Formgedchtnislegierungen
$129.99
Afro-Eccentricity
$39.99
InsurTech: A Legal and Regulatory View
$99.00
Conflicting Narratives of Crime and Punishment
$179.99
The Euro Crisis and European Identities
$84.99
