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
Teacher Education in Lifelong Learning
$109.99
Grne Stadt - Gesunder Mensch
$17.99
Mathematics of Wave Phenomena
$149.00
Civic Participation in America
$39.99
A Multidisciplinary Approach to Obstetric Fistula in Africa
$69.99
Metaphysics and Philosophy of Science in the Seventeenth and Eighteenth Centuries
$219.99
Dav Pilkey Collection Grades 2-5
$65.00
Chernobyl
$169.99
Integers, Polynomials, and Rings
$44.99
Business Process Management
$169.99
Logic-Based Program Synthesis and Transformation
$39.99
A Japanese Approach to Stages of Capitalist Development
$109.99
Applied Informatics and Communication, Part IV
$109.99
Beitrag zur Messung der Produktivitt und deren Vergleich auf der Grundlage technischer Mengengren
$59.99
Green Accounting in Europe Four case studies
$169.99
The Politics of Private Security
$109.99
Supporting Research in Counselling and Psychotherapy
$44.99
Roman Catholic Modernists Confront the Great War
$54.99
The Carrot Seed
$5.96
Place, Writing, and Voice in Oral History
$54.99
Green Investing
$54.99
Plant-Pest Interactions: From Molecular Mechanisms to Chemical Ecology
$219.99
Biotenside
$39.95
Church and State in 21st Century Britain
$54.99
Music, Words, and Nationalism
$109.00
Japan. Europa. USA
$59.99
Environmental and Resource Protection Law
$79.99
Etruskologie
$64.99
Die Bestimmung des Molekulargewichts in theoretischer und praktischer Beziehung
$84.99
Multinationals on the Periphery
$54.99
Essentials of Neurosurgical Anesthesia & Critical Care
$109.00
Conceptions of Justice from Earliest History to Islam
$99.99
Gas-Phase IR Spectroscopy and Structure of Biological Molecules
$219.99
Policing Transnational Organized Crime and Corruption
$54.99
The Impact of Michel Foucault on the Social Sciences and Humanities
$169.99
Die Performance der Europischen Whrungsordnung
$49.99
Nanocrystalline Metals and Oxides
$84.99
Reliability Engineering
$119.99
Leitbilder erarbeiten
$17.99
Zellstrukturen und ihre Bedeutung fr die amboide Bewegung
$59.99
