Copied NASA Formal Methods
NASA Formal Methods
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Proceedings of International Conference on Advances in Computer Engineering and Communication System
$219.99
Beginning PL/SQL
$34.99
Advanced Aesthetic Rhinoplasty
$229.00
British Capitalism After the Crisis
$79.99
Wide Area Power Systems Stability, Protection, and Security
$169.99
Fetal Alcohol Spectrum Disorders in Adults: Ethical and Legal Perspectives
$84.99
Hazardous Decisions
$169.00
Trust and European-Russian Energy Relations
$34.99
Der Arzthaftungsproze in der Praxis
$59.99
Water Reuse and Unconventional Water Resources
$199.99
Successful negotiation with the Driver-Seat Concept
$89.00
Neural Information Processing
$54.99
Transport Processes in Porous Media
$329.99
Transmission Electron Microscopy Methods for Understanding the Brain
$109.99
Structural Elements in Particle Physics and Statistical Mechanics
$54.99
Three-space Problems in Banach Space Theory
$39.99
Irregular Verbs Grade 3 Differentiation Pack
$5.99
Chaos and Complex Systems
$219.99
Synopsis of Javanese Literature 9001900 A.D
$54.99
Drug Metabolism and Pharmacokinetics Quick Guide
$84.99
Jacobi Dynamics
$219.99
Chirurgische Unfallheilkunde
$59.99
Advances in Intelligent Process-Aware Information Systems
$119.00
Die technische Mechanik des Maschineningenieurs mit besonderer Bercksichtigung der Anwendungen
$59.99
Magnetic Field Effect on Biological Systems
$39.99
Innovation Networks
$84.99
Morphology Genetic Materials Templated from Nature Species
$169.99
Microcontroller Programming and Interfacing TI MSP 430 PART I
$99.99
Distributed Energy Resources
$139.99
Contemporary Newtonian Research
$109.99
Hip Preservation Surgery
$139.99
Kant Handbuch
$29.99
Systemwechsel 1
$59.99
Physics of Solid Surfaces
$549.99
Horizontale Supply-Chain-Beziehungen
$69.99
Why Teach Mathematics?
$109.99
Literary Culture in Jacobean England
$109.99
Homeopathy in Healthcare
$54.99
Simmer Grundbau 2
$59.99
The Power of Joyful Reading: Help Your Young Readers Soar to Success! (30-copy pack)
$809.70
