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
Computer Vision ECCV 2018 Workshops
$54.99
The Transformation of the World Economy
$109.99
Philosophical and Political Consequences of the Critique of Political Economy
$119.00
Methods of Protein and Nucleic Acid Research
$109.99
Enduring Bonds
$109.99
Risiken informatisierter Produktion
$69.95
Teaching across Cultures
$49.99
Leeches, Lice and Lampreys
$219.99
Wie Schnecken sich in Schale werfen
$49.99
Risk and Protective Factors in Schizophrenia
$54.99
Chaos in Classical and Quantum Mechanics
$179.99
Young People in Digital Society
$99.00
Elementary Mechanics Using Matlab
$64.99
Bio-inspired Computing Theories and Applications
$54.99
Verbessertes virtuelles Prototyping
$69.99
Ways Out Of Social Isolation For Older People In The Context Of New Media
$79.99
Interpolation, Schur Functions and Moment Problems II
$54.99
Cooperative Design, Visualization, and Engineering
$39.99
Ecumenical Perspectives Five Hundred Years After Luthers Reformation
$139.00
Pediatric Maxillofacial Trauma
$159.99
Fderalismus und Souvernitt im Bundesstaat
$59.99
Physics and Materials Science of High Temperature Superconductors
$54.99
Die groen Fragen - Mathematik
$24.99
Sachverzeichnis fr die Bnde IIII, VIIA
$69.99
Artificial Neural Networks and Machine Learning ICANN 2024
$64.99
PGL2 over the p-adics. Its Representations, Spherical Functions, and Fourier Analysis
$34.99
Peripherisierung, Stigmatisierung, Abhngigkeit?
$39.99
Signal Processing for Image Enhancement and Multimedia Processing
$169.99
Managing Human Resources
$43.69
Scholar Zone Extended Learning Math Grade 1 (2 Scholar)
$75.00
Time-To-Build
$54.99
Human Settlements
$159.99
Steuerermittlung und Steuerveranlagung
$59.99
Combustion Chemistry
$39.99
Wrterbuch der Fertigungstechnik. Dictionary of Production Engineering. Dictionnaire des Techniques
$239.00
Diffusion in Metallen
$89.99
Allie, First at Last
$5.99
Globalization, Democratization and Multilateralism
$109.99
Erb- und Umweltfaktoren bei Neurosen
$69.99
Geomorphology of Brazil: Complexity, Interscale and Landscape
$169.99
