Breaking News!
Up to 30% Off Nike Footwear

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

Reviews

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

Questions & Answers

Similar Products

Numerical Optimization

Numerical Optimization

$74.99
Higher Education in a Globalising World

Higher Education in a Globalising World

$109.99
Paediatric Orthopaedic Trauma in Clinical Practice

Paediatric Orthopaedic Trauma in Clinical Practice

$54.99
Surface Models for Geosciences

Surface Models for Geosciences

$109.99
Die private Konsumnachfrage im Ausgabensystem

Die private Konsumnachfrage im Ausgabensystem

$59.99
Introduction to Engineering

Introduction to Engineering

$19.99
Elektronische Signaturen

Elektronische Signaturen

$39.99
A History of Inverse Probability

A History of Inverse Probability

$129.00
European Retail Research

European Retail Research

$54.99
Mathematical Modeling in Renal Physiology

Mathematical Modeling in Renal Physiology

$72.00
Biographisches Wissen von Lehrerinnen und Lehrern

Biographisches Wissen von Lehrerinnen und Lehrern

$59.99
The Determinants of Currency Crises

The Determinants of Currency Crises

$54.99
An Introduction to Differential Geometry with Applications to Elasticity

An Introduction to Differential Geometry with Applications to Elasticity

$109.99
Wars, Laws, Rights and the Making of Global Insecurities

Wars, Laws, Rights and the Making of Global Insecurities

$44.99
An introduction to computational physics

An introduction to computational physics

$19.95
The Life and Lyrics of Andrew Marvell

The Life and Lyrics of Andrew Marvell

$109.99
Reorienting Health Services

Reorienting Health Services

$39.99
Kubernetes Native Development

Kubernetes Native Development

$54.99
Metathinking

Metathinking

$84.99
Data Management Technologies and Applications

Data Management Technologies and Applications

$54.99
PET/MR Imaging: Current and Emerging Applications

PET/MR Imaging: Current and Emerging Applications

$99.99
Optimization Methods in Structural Design

Optimization Methods in Structural Design

$119.99
WinWord 2 fr Power User

WinWord 2 fr Power User

$54.99
Exploring Robotics with ROBOTIS Systems

Exploring Robotics with ROBOTIS Systems

$39.99
Stellar Disk Evolution and Gaseous Disk Turbulence of Dwarf Irregular Galaxies

Stellar Disk Evolution and Gaseous Disk Turbulence of Dwarf Irregular Galaxies

$109.99
Data-intensive Systems

Data-intensive Systems

$64.99
Relativittstheorie und Erkenntnislehre

Relativittstheorie und Erkenntnislehre

$59.99
Histologie und Mikroskopische Anatomie

Histologie und Mikroskopische Anatomie

$59.99
Human Abdominal Hydatidosis

Human Abdominal Hydatidosis

$54.99
Der Nutzen von ERP-Systemen

Der Nutzen von ERP-Systemen

$69.99
Die Schaltung der Leistungstransformatoren

Die Schaltung der Leistungstransformatoren

$64.99
Soviet Philosophy Revisited

Soviet Philosophy Revisited

$109.99
Rough Sets

Rough Sets

$54.99
Extending Educational Change

Extending Educational Change

$54.99
Designing Evolutionary Algorithms for Dynamic Environments

Designing Evolutionary Algorithms for Dynamic Environments

$54.99
Robust Speaker Recognition in Noisy Environments

Robust Speaker Recognition in Noisy Environments

$54.99
Nature Stories: Little Pumpkin

Nature Stories: Little Pumpkin

$4.46
Dynamic Firm and Investor Behaviour under Progressive Personal Taxation

Dynamic Firm and Investor Behaviour under Progressive Personal Taxation

$54.99
Max Weber and Postmodern Theory

Max Weber and Postmodern Theory

$109.99
Die Entwicklung des soziologischen Wissens

Die Entwicklung des soziologischen Wissens

$74.99
previous
next