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
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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

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

Similar Products

Bioprospecting Algae for Materials

$199.99

Narrow Gap Semiconductors 2007

$169.99

Nicht entzndliche Dermatosen II

$69.99

Inverkehrbringen von Arzneimitteln und Medizinprodukten

$49.99

Turbulence in Fluids

$89.99

Energy Law and Economics

$179.99

Nuclear Structure Study with Neutrons

$109.99

The University Becoming

$139.00

Earnings Management

$249.99

Alpin- und Hhenmedizin

$69.99

Assessing Risk Assessment

$89.99

The Theory of Committees and Elections

$169.99

Atlas of Bone Scintigraphy in the Developing Paediatric Skeleton

$109.99

Hair Matters

$14.99

Minimally Invasive Thoracic and Cardiac Surgery

$249.99

Nonlinear Differential Equations and Dynamical Systems

$64.99

Fuel Economy

$219.99

The Cosmic Keyhole

$32.99

Units of Measurement

$149.00

Discovery Science

$89.99

The Palgrave Handbook of Social Democracy in the European Union

$169.00

Untersuchung des Festigkeits- und Verschleiverhaltens von Polyamidzabnrdern zur Schaffung von Bere

$59.99

Semiconductor Device Physics and Simulation

$169.99

Vierstellige Logarithmen-Tafeln nebst Hilfstafeln fr das praktische Rechnen

$59.99

Economics of Involuntary Transfers

$54.99

Acquisition

$29.99

Wavelets

$199.99

Urogenitale Infektionen

$54.99

The Concept of Existence in the Concluding Unscientific Postscript

$109.99

Nationalismus, Militarismus und Mnnlichkeit im Nachkriegs-Zypern

$89.99

Redefining the Psychological Contract in the Digital Era

$179.99

Applied Mathematical Demography

$74.99

Principles of Distributed Systems

$54.99

Mathematical Modelling in Health, Social and Applied Sciences

$79.99

Data Analysis in Astronomy III

$54.99

Theorien des Managements

$74.99

Pancreatic Cytopathology

$139.99

Computer Vision & Laser Vibrometry, Vol. 6

$279.99

Sociological Practice

$109.99

Photosynthesis Bibliography

$54.99