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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
Reviews
Questions & Answers
Global Concerns for Forest Resource Utilization
$169.99
Labours Renewal?
$44.99
The British Growth Crisis
$54.99
The Neuropilins: Role and Function in Health and Disease
$129.00
Narrative and Representation in the Poetry of Wallace Stevens
$169.99
The Making of Mathematics
$129.99
Evil as a Crime Against Humanity
$109.99
Environmental Engineering: Review for the Professional Engineering Examination
$54.99
What Works in Therapeutic Prisons
$84.99
Psychology, Law and Legal Processes
$14.99
Femininity, Crime and Self-Defence in Victorian Literature and Society
$54.99
Writing Anthropology
$54.99
Religion, Art, and Visual Culture
$109.99
Forschendes Lernen als Studiengangsprofil
$34.99
Market Integration: The EU Experience and Implications for Regulatory Reform in China
$109.99
XR Case Studies
$64.99
Artificial Intelligence and Its Applications
$169.99
Nano, Quantum and Molecular Computing
$129.00
Geometric Crystallography
$109.99
Digitale Transformation im Bankenumfeld
$64.99
Gemeinschaftsverpflegung
$44.99
International Congress on Energy Efficiency and Energy Related Materials (ENEFM2013)
$129.00
Radiationless Transitions in Polyatomic Molecules
$109.99
Butterflies
$3.71
Die Geometrie der Gleichstrommaschine
$59.99
Kenneth Boulding
$84.99
Whos Driving Innovation?
$24.99
4D Modeling and Estimation of Respiratory Motion for Radiation Therapy
$169.99
Long Travail and Great Paynes
$109.99
Science and Geopolitics of The White World
$169.99
The Challenges of Educating People to Lead in a Challenging World
$219.99
Flash 8 Essentials
$29.99
Functional Foods and Therapeutic Strategies for Neurodegenerative Disorders
$189.00
Integrating Scientific Disciplines
$109.99
Post-Transcriptional Control of Gene Expression in Plants
$39.99
Kooperationsformen somatischer und psychosomatischer Medizin
$69.99
Die souverne Expertin 77 Tipps fr die verbale Wissenschaftskommunikation
$24.99
Robuste Ratingverfahren
$74.99
Homomorphismen und Reduktionen linearer Sprachen
$59.99
Methodik der Programmierung in Pascal
$69.95
