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

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

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

Pro .NET 2.0 Windows Forms and Custom Controls in C#

$89.99

Marx and Nature

$39.99

Wavelet Transforms and Time-Frequency Signal Analysis

$169.99

Grids, Clouds and Virtualization

$84.99

Introducing Biological Rhythms

$89.00

Modeling of Induction Motors with One and Two Degrees of Mechanical Freedom

$109.99

Stochastic Narrow Escape in Molecular and Cellular Biology

$109.99

Metaphysics of Morality

$69.99

Science, Culture and National Identity in Francoist Spain, 19391959

$139.99

Medizinmanagement

$89.99

Das BUCH der Beweise

$44.99

Sourcebook Of Control Systems Engineering

$169.00

Source Separation and Recycling

$379.99

Econometric Analysis of Discrete Choice

$54.99

Mentoring and Sponsoring

$32.99

OZONE

$189.00

Program Development by Specification and Transformation

$84.99

China Satellite Navigation Conference (CSNC) 2012 Proceedings

$219.99

Moden in der Hip-Hop-Szene

$39.99

Resource Recombination in Firms from a Dynamic Capability Perspective

$109.99

El Capitn Calzoncillos y la sensacional saga del seor Sohediondo (Captain Underpants #12)

$5.99

Radioactive Waste Engineering and Management

$199.99

The Last Deglaciation: Absolute and Radiocarbon Chronologies

$169.99

Managing Universities

$129.00

Current Topics in Artificial Intelligence

$54.99

School Leadership, Citizenship Education and Politics in China

$54.99

Advances in Visual Computing

$109.99

Ten True Tales: Teens at War

$4.46

Information, Communication and Computing Technology

$54.99

Impact of Climate Change on Scale Hydro-turbine Selections

$39.99

Symmetries of Maxwells Equations

$139.99

Erfolgsfaktor Kanzleikommunikation

$17.99

Die Reform im Gtertransport

$54.99

Triticale

$179.99

The Contextual Challenges of Occupational Sex Segregation

$54.99

Calculus of Variations

$89.99

Lasers in the Musculoskeletal System

$39.99

Therapie des Harnblasenkarzinoms

$84.99

Neurotransmitter Methods

$84.99

Die Bedeutung der Mechanisierung von Gewinnung, Ausbau und Versatz fr die krperliche Belastung des

$59.99