Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

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

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Thomas Hardy and Contemporary Literary Studies

Thomas Hardy and Contemporary Literary Studies

$39.99
Metakognition beim mathematischen Modellieren

Metakognition beim mathematischen Modellieren

$39.99
Pfiffige Offene Ganztagsschulen

Pfiffige Offene Ganztagsschulen

$34.99
Understanding Dental Caries

Understanding Dental Caries

$89.00
Die Zukunft des deutschen Gesundheitswesens

Die Zukunft des deutschen Gesundheitswesens

$44.99
Orthopaedic Biomechanics in Sports Medicine

Orthopaedic Biomechanics in Sports Medicine

$179.99
Chaotic Meta-heuristic Algorithms for Optimal Design of Structures

Chaotic Meta-heuristic Algorithms for Optimal Design of Structures

$159.99
Mapping and Spatial Analysis of Socio-economic and Environmental Indicators for Sustainable Developm

Mapping and Spatial Analysis of Socio-economic and Environmental Indicators for Sustainable Developm

$109.99
Insanity on Trial

Insanity on Trial

$169.99
Understanding the Entrepreneurial Mind

Understanding the Entrepreneurial Mind

$129.00
Technology Common to Aero and Marine Engineering

Technology Common to Aero and Marine Engineering

$219.99
Extensions of Logic Programming

Extensions of Logic Programming

$39.99
Prognose von Zeitreihen

Prognose von Zeitreihen

$34.99
Lumi-Imager F1

Lumi-Imager F1

$54.99
Elementary Processes in Excitations and Reactions on Solid Surfaces

Elementary Processes in Excitations and Reactions on Solid Surfaces

$84.99
An Invitation to Representation Theory

An Invitation to Representation Theory

$29.99
An Introduction to Corrosion and Protection of Metals

An Introduction to Corrosion and Protection of Metals

$54.99
Rechnen lernen und Flexibilitt entwickeln

Rechnen lernen und Flexibilitt entwickeln

$34.99
The Role of the Highest Courts of the United States of America and South Africa, and the European Co

The Role of the Highest Courts of the United States of America and South Africa, and the European Co

$159.99
Future Satellite Gravimetry and Earth Dynamics

Future Satellite Gravimetry and Earth Dynamics

$84.99
ber die Aufarbeitung von Rckstnden aus der Altschmierlraffination

ber die Aufarbeitung von Rckstnden aus der Altschmierlraffination

$59.99
The Chemistry of Superheavy Elements

The Chemistry of Superheavy Elements

$169.00
Animality and Children's Literature and Film

Animality and Children's Literature and Film

$54.99
Kinderwelten und institutionelle Arrangements

Kinderwelten und institutionelle Arrangements

$44.99
A cacarear!: A Branches Book

A cacarear!: A Branches Book

$3.74
Intelligente Rechnungsverarbeitung

Intelligente Rechnungsverarbeitung

$54.99
Actin-Binding Proteins and Disease

Actin-Binding Proteins and Disease

$219.99
Cartoon Animation with Preston Blair, Revised Edition!

Cartoon Animation with Preston Blair, Revised Edition!

$18.27
Greek Resurrection Beliefs and the Success of Christianity

Greek Resurrection Beliefs and the Success of Christianity

$54.99
Grundlagen Automatisierung

Grundlagen Automatisierung

$29.99
Hurra, ich bin hochsensibel! Und nun?

Hurra, ich bin hochsensibel! Und nun?

$19.99
The Transnational Activities of and Medium-Sized Enterprises

The Transnational Activities of and Medium-Sized Enterprises

$109.99
Molecular Pathology of Liver Diseases

Molecular Pathology of Liver Diseases

$299.99
Kommunikative Beeinflussung in der Gesellschaft

Kommunikative Beeinflussung in der Gesellschaft

$59.99
Simian Immunodeficiency Virus

Simian Immunodeficiency Virus

$109.99
The Political Economy of Japanese Financial Markets

The Political Economy of Japanese Financial Markets

$169.99
Monitoring the Comprehensive Nuclear-Test-Ban-Treaty: Hydroacoustics

Monitoring the Comprehensive Nuclear-Test-Ban-Treaty: Hydroacoustics

$54.99
ber die Entwicklung des Dnndarms der Ratte

ber die Entwicklung des Dnndarms der Ratte

$59.99
Optimization and Control Methods in Industrial Engineering and Construction

Optimization and Control Methods in Industrial Engineering and Construction

$169.99
Handbook of Work Disability

Handbook of Work Disability

$219.99
previous
next