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
Scholastic Reader! Level 2-Fly Guy: I Spy Fly Guy
$3.74
Lehrbuch der Quantitativen Analyse
$99.99
Arzt im Purpur
$54.99
Function Spaces and Operators between them
$159.99
Major Companies of Europe 1992/93
$74.99
Robotic Process Automation in Desktop Publishing
$9.99
Die Strafzumessung
$59.99
Ungifted
$7.46
Consistent Classical Supergravity Theories
$39.99
Analytical Techniques in the Pharmaceutical Sciences
$229.00
Advances in Computer Games
$54.99
Principles of Health Interoperability HL7 and SNOMED
$59.99
Order-Disorder Transformations in Alloys
$129.00
Denken in bergngen
$64.99
Handbook of Zen, Mindfulness, and Behavioral Health
$229.00
Materials for Refractories and Ceramics
$39.99
Learn PySpark
$54.99
If I Were a.: Si yo fuera un len
$4.46
Scholastic In My Language Stickers Busy Baby Portuguese
$49.25
The Weariness of Democracy
$139.99
Viability of Seeds
$39.99
Tiere - Pdagogisch-anthropologische Reflexionen
$64.99
The Poetics of the Limit
$54.99
Software Engineering fr verteilte Anwendungen
$69.99
Marketing in der Rezession
$69.99
Mycotoxins in Plants and Plant Products
$189.00
Ophthalmologie
$59.99
Atlas der unerwnschten Ergebnisse in der Chirurgie von Lippen-Kiefer-Gaumenspalten
$199.99
Precipitation Enhancement
$49.99
Combat Stress in Pre-modern Europe
$119.00
ERP Systems and Organisational Change
$169.99
Beginning Java EE 6 with GlassFish 3
$49.99
Palestinian Youth Media and the Pedagogies of Estrangement
$109.99
Zur modellbasierten Entscheidungsuntersttzung von Unternehmen in der regionalen Standortplanung und
$59.99
Law and the Bronts
$54.99
Die Dnen
$59.99
Umweltvirologie
$59.99
Strafrecht, soziale Kontrolle, soziale Disziplinierung
$39.99
Human Work Interaction Design. Designing Engaging Automation
$99.99
Biblical Cross-Cultural Leadership
$139.00
