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

This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.

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

Advances in Swarm and Computational Intelligence

$54.99

Controversies in Cardiology

$54.99

Wheat Landraces

$199.99

Economics of Atmospheric Pollution

$84.99

Grundzge der Tensorrechnung in Analytischer Darstellung

$69.99

The Politics of Sacrifice

$119.99

Political Rhetoric in the Oxford and Cambridge Unions, 18301870

$129.00

ADP-Ribosylation in Animal Tissues

$39.99

Algorithmische Sprache und Programmentwicklung

$54.99

Unique Radio Innovation for the 21st Century

$39.99

Organisation und Mitarbeiter im TQM

$39.99

The Aftermath of Suffrage

$44.99

Legal Tech und Legal Robots

$17.99

Extending the Business Network Approach

$109.99

Zur Rationalitt von Volksabstimmungen

$69.99

Advances in Advertising Research (Vol. VII)

$109.99

Veranschlagen, Bauleitung, Baupolizei und Heimatschutzgesetze

$79.99

Natural Antimicrobial Agents

$199.99

Shelleys Poetic Thoughts

$169.99

Strategische Gestaltung des Lebenszyklus von Mega-Events

$79.99

Benefit-Risk Assessment of Medicines

$39.99

Computability and Complexity

$39.99

Theories of Plates and Shells

$169.99

Kaiser Wilhelm. Sein Leben und seine Zeit. 17971888

$59.99

Ovarian Cancer

$249.99

Shadows of Empire in West Africa

$129.99

Unfall und Verbrechen

$44.99

ber den Einflu der Belastungsgeschwindigkeit auf den Elastizittsmodul des Mrtels und Betons sowi

$84.99

The Economy of Ghana

$84.99

Scattering from Model Nonspherical Particles

$169.99

One Windy Day

$3.71

Optimization of Distributed Parameter Structures Volume I

$54.99

Lower-Dimensional Systems and Molecular Electronics

$219.99

Handbook of Japan-United States Environment-Behavior Research

$169.99

ProstaTALK

$24.99

Basic Electromagnetism and its Applications

$39.99

Elternschaft im Wechselspiel von Deutungsmustern und Diskurs

$39.99

Handbook of Psychopharmacology

$39.99

Journal on Data Semantics X

$39.99

Psychologische Selbsthilfe bei Mobbing

$17.99