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
9783642288913
Condition
New
Product Description

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

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

Innovations in Abdominal Ultrasound

$84.99

Datenschutz beim Online-Einkauf

$44.99

Hats Off to You

$4.46

Cryptographic Hardware and Embedded Systems - CHES 2001

$39.99

Logic and Lexicon

$169.99

Chinese Dream and Practice in Zhejiang Ecology

$39.99

Frobenius Manifolds

$89.00

Herzchirurgie I

$59.99

Literature And Imperialism

$44.99

Informationsverarbeitung in der Medizin

$59.99

Handbook of Nutrition and Immunity

$129.00

Dictionary of Corporate Social Responsibility

$169.99

European Yearbook of International Economic Law 2020

$219.99

Trollope and Politics

$34.99

Stationre Psychodynamische Psychotherapie

$44.99

New Trends in Databases and Information Systems

$54.99

Real World Economic Outlook

$109.99

Endocrine Neoplasia

$89.00

Micromechanics and Microactuators

$169.99

Die Moderne und ihre Vornamen

$19.99

Clinical Physiology of the Venous System

$129.00

Lebenswegorientierte Planung technischer Systeme

$59.99

Der Schwefelkohlenstoff

$74.99

I Am a Dragon!

$5.96

Leading Solutions

$69.99

Die Beschftigungssituation von wissenschaftlichem Nachwuchs

$79.99

Differential-Algebraic Equations: A Projector Based Analysis

$109.99

Die Medicinischen Verbandmaterialien mit besonderer Bercksichtigung ihrer Gewinnung, Fabrikation, U

$84.99

Smart Cities in Application

$49.99

Software Re-use, Utrecht 1989

$54.99

Signal Processing in X-ray Pulsar-Based Navigation

$159.99

Cluster-Based Industrial Development

$39.99

Operations Research

$39.99

The National Innovation System of Belgium

$39.99

An Introduction to Nonlinear Analysis: Applications

$219.99

Geometrische Perspektive

$59.99

The History and Science of the Manhattan Project

$79.99

Learning and Innovation @ a Distance

$39.99

Nanoinformatics

$59.99

The Quality of Life and Policy Issues among the Middle East and North African Countries

$69.99