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

Intelligent System Solutions for Auto Mobility and Beyond

$169.99

Gender Politics in Brazil and Chile

$109.99

Comparative Studies on Regional and National Economic Development

$129.99

Theoretische Physik: Elektrodynamik

$49.99

The Pediatric Spine I

$39.99

The Greedy Apostrophe

$4.46

Electronic Business und Mobile Business

$69.99

Neoliberalism and Islamophobia

$49.99

Aaron Slater, Illustrator by Andrea Beaty

$18.99

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip

$109.99

Progress in Hybrid RANS-LES Modelling

$219.00

Nuclear Medicine in Gastroenterology

$84.99

The Elegies of Ted Hughes

$54.99

Formal Modeling and Analysis of Timed Systems

$54.99

Food for Thought

$5.96

Cell and Developmental Biology of Arabinogalactan-Proteins

$129.00

Societies and Social Decision Functions

$39.99

Latin American Development and Public Policy

$74.99

Early Childhood Policies and Systems in Eight Countries

$59.99

How to get a Dr. die ganze Welt der Promotion

$17.99

Progressives and Radicals in English Education 17501970

$39.99

Die Edelstahlerzeugung

$79.99

Anticipating Future Innovation Pathways Through Data Analysis

$169.99

Formal Development of Reactive Systems

$39.99

The Mathematics of Juggling

$39.99

The Human Society and the Internet: Internet Related Socio-Economic Issues

$39.99

Systematic Nomenclature of Organic Chemistry

$37.99

Corruption and Anti-Corruption Upside Down

$129.99

Random Coefficient Autoregressive Models: An Introduction

$54.99

Introduction to a Renormalisation Group Method

$64.99

Learner Corpora: Construction and Explorations in Chinese and Related Languages

$159.99

Tropical Cardiovascular Pathology

$199.99

Introduction to the Basic Concepts of Modern Physics

$44.99

Der Dienstleistungsbetrieb

$59.99

A Functional Biology of Sea Anemones

$39.99

Emotional Intelligence Matters

$139.99

Fundamentals of Digital Machine Computing

$34.99

Next Generation Arithmetic

$64.99

Personalpsychologie fr das Human Resource Management

$59.99

Blockchain of Things and Deep Learning Applications in Construction

$199.99