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
Basic Motivation and Human Behaviour
$105.00
Einfhrung in die Struktur der Materie
$49.99
Conceptualising 'Learning' in Applied Linguistics
$109.99
Mass Spectrometry: Developmental Approaches to Answer Biological Questions
$39.99
ESEC '89
$39.99
Interface Oral Health Science 2014
$59.99
Nach dem Krieg
$59.99
Handbook of Terminal Planning
$129.00
Erarbeitung der physikalisch-metechnischen Grundlagen fr eine Kompensationsmethode an Erdfelddetek
$59.99
Footprints in Cambridge and Aviation Industries of China
$219.99
Guide to Higher Education in Africa
$179.99
Familienunternehmen und Publikumsgesellschaft
$69.99
Application and Theory of Petri Nets 1993
$84.99
Proceedings of the International Field Exploration and Development Conference 2023
$219.00
The Impossibility of Squaring the Circle in the 17th Century
$49.99
Intersections between Feminist and Queer Theory
$109.99
Networked Governance
$119.99
Die informelle Koalition
$49.99
IUTAM Symposium on Unsteady Separated Flows and their Control
$84.99
Wireless Communications
$169.99
Bone #7: Ghost Circles (Hardcover)
$20.24
Computer Security ESORICS 2024
$74.99
Porphyrine und Porphyrinkrankheiten
$59.99
Mathematical Foundations of Computer Science 1997
$39.99
Natural Language Parsing and Linguistic Theories
$54.99
Optical Measurements
$129.00
Founding Community
$84.99
Treatment of Psoriasis
$129.00
Practical Oncologic Molecular Pathology
$99.00
Global Climate Change Policy
$139.99
Front-End Vision and Multi-Scale Image Analysis
$169.99
Accentuation and Interpretation
$39.99
Polycystic Ovarian Disease
$54.99
Das Gesundheitswesen in der Bundesrepublik Deutschland
$79.99
Electoral Politics, Laws and Ethnicity in Africa
$129.99
Haarerkrankungen in der dermatologischen Praxis
$44.99
Untersuchungen ber die Anatomie und Wasserkologie Einiger Ostseestrandpflanzen
$54.99
Rousseau's Theory of Human Association
$54.99
Institutions Always 'Mattered'
$54.99
Prediction and Perception of Natural Hazards
$109.99
