Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

NASA Formal Methods

NASA Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319572871
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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