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

NASA Formal Methods

Best Price:
Buy NASA Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

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

Agricultural Transformation in Nepal

Agricultural Transformation in Nepal

$169.99
Numerical Methods of Approximation Theory, Vol.6 \ Numerische Methoden der Approximationstheorie, Ba

Numerical Methods of Approximation Theory, Vol.6 \ Numerische Methoden der Approximationstheorie, Ba

$39.99
Analysis and Design of Networks-on-Chip Under High Process Variation

Analysis and Design of Networks-on-Chip Under High Process Variation

$109.99
Kurzpsychotherapie in der rztlichen Praxis

Kurzpsychotherapie in der rztlichen Praxis

$69.99
Nitrogen Fixation in Bacteria and Higher Plants

Nitrogen Fixation in Bacteria and Higher Plants

$84.99
Serotonin

Serotonin

$169.00
Wohnumfeldverbesserungen fr Menschen mit Demenz

Wohnumfeldverbesserungen fr Menschen mit Demenz

$74.99
Prozessorientierte Methoden in der Arbeits- und Organisationsforschung

Prozessorientierte Methoden in der Arbeits- und Organisationsforschung

$19.99
Mergers and Alliances in Higher Education

Mergers and Alliances in Higher Education

$59.99
Bewertung, Kauf und Optimierung von Unternehmen

Bewertung, Kauf und Optimierung von Unternehmen

$17.99
Isoscapes

Isoscapes

$199.99
Facility Management

Facility Management

$69.99
On Growth and Form

On Growth and Form

$219.99
Zulassung und Praxisverkauf

Zulassung und Praxisverkauf

$69.99
Pedagogical Innovation for Children's Agency in the Classroom

Pedagogical Innovation for Children's Agency in the Classroom

$169.99
Soft Governance, International Organizations and Education Policy Convergence

Soft Governance, International Organizations and Education Policy Convergence

$54.99
Atmospheric Thermodynamics

Atmospheric Thermodynamics

$109.99
Cutaneous Lymphomas

Cutaneous Lymphomas

$59.99
Augmented Reality, Virtual Reality, and Computer Graphics

Augmented Reality, Virtual Reality, and Computer Graphics

$39.99
Handbuch des Umweltschutzes und der Umweltschutztechnik

Handbuch des Umweltschutzes und der Umweltschutztechnik

$99.99
Intelligent Systems for Science and Information

Intelligent Systems for Science and Information

$169.99
Heat Shock Proteins in Neural Cells

Heat Shock Proteins in Neural Cells

$129.00
Attractors, Bifurcations, & Chaos

Attractors, Bifurcations, & Chaos

$169.99
Wittgenstein in Florida

Wittgenstein in Florida

$129.00
Track and Trace Management System for Dementia and Intellectual Disabilities

Track and Trace Management System for Dementia and Intellectual Disabilities

$84.99
Chaperones

Chaperones

$99.00
Language in a Globalised World

Language in a Globalised World

$109.00
Toxicants in Food Packaging and Household Plastics

Toxicants in Food Packaging and Household Plastics

$169.99
Frankreich-Jahrbuch 1999

Frankreich-Jahrbuch 1999

$54.99
Techniques and Concepts of High-Energy Physics

Techniques and Concepts of High-Energy Physics

$39.99
Blood Oxygenation

Blood Oxygenation

$109.99
Green Photocatalysts for Energy and Environmental Process

Green Photocatalysts for Energy and Environmental Process

$159.99
Das Recht des Architekten

Das Recht des Architekten

$49.99
Reaktionsverhalten von agrarischen kosystemen homogener Areale

Reaktionsverhalten von agrarischen kosystemen homogener Areale

$49.99
Cognitive and Metacognitive Problem-Solving Strategies in Post-16 Physics

Cognitive and Metacognitive Problem-Solving Strategies in Post-16 Physics

$39.99
Heimdialyse

Heimdialyse

$59.99
Rough Sets

Rough Sets

$74.99
UV-GO 2021 Kommentar

UV-GO 2021 Kommentar

$59.99
Silicon in Polymer Synthesis

Silicon in Polymer Synthesis

$39.99
Logic, Rationality, and Interaction

Logic, Rationality, and Interaction

$54.99
previous
next