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 proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
Reviews
Questions & Answers
Structural, Syntactic, and Statistical Pattern Recognition
$129.00
Green Software Defined Radios
$84.99
Resource Management in Rice Systems: Nutrients
$129.00
Young People's Political Participation in Western Europe
$119.99
Vibration Control of Active Structures
$99.99
Neuropsychology of Childhood Epilepsy
$129.00
Galileo Engineer
$84.99
Tarnished Are the Stars (Hardcover)
$14.24
Pediatric Sonoencephalography
$109.99
Augenrztliche Operationslehre
$99.99
Asymptotic Expansions for Pseudodifferential Operators on Bounded Domains
$29.99
Low Intensity Breeding of Native Forest Trees in Argentina
$109.99
Handbuch Dieselmotoren
$179.99
Researching Cultures of Learning
$109.99
Continuum Mechanics Aspects of Geodynamics and Rock Fracture Mechanics
$129.00
Grundlagen Konvexer Optimierung
$64.99
Dimensional Reduction of Gauge Theories, Spontaneous Compactification and Model Building
$39.99
Photosynergetic Responses in Molecules and Molecular Aggregates
$219.99
An Insiders Guide to Academic Medicine
$44.99
Retailing in the 21st Century
$49.99
Concurrency, Compositionality, and Correctness
$39.99
Pleasure Reading Grade 2 (50 Books)
$145.00
Politische Kommunikation deutscher Familienunternehmen
$49.99
60.62. Jahresbericht des Sonnblick-Vereines fr die Jahre 19621964
$59.99
ALLPLOT im Ingenieurbau
$39.99
Vessel Health and Preservation: The Right Approach for Vascular Access
$59.99
Comparative Issues in Local Government Accounting
$139.00
Identitt und Demokratie
$89.99
Transgenics in Endocrinology
$169.99
Daughters of the House
$129.00
Bisphosphonat-Manual
$29.99
Applications of Cryogenic Technology
$219.99
Tiefenpsychologische Bindungsanalyse (TBA)
$39.99
Dynamics of Mechanical Systems with Variable Mass
$109.99
Swift for Absolute Beginners
$49.99
Domestic Food Production and Food Security in the Caribbean
$84.99
Project and Design Literacy as Cornerstones of Smart Education
$119.00
Elliptic Integrals and Elliptic Functions
$64.99
Probability-Based Multi-objective Optimization for Material Selection
$129.00
'Ich hab' mehr das Gesprch gesucht'
$49.99
