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

Menstrual Cycle Related Disorders

$39.99

Technisches Wrterbuch fr Telegraphie und Post

$59.99

Beschftigung in jungen Unternehmen

$69.99

Higher Education Regionalization in Asia Pacific

$39.99

Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems

$219.99

Die Chirurgie der hufigen angeborenen Herzmibildungen

$69.99

Einfhrung in die HPLC

$64.99

Latin American and Caribbean International Institutional Law

$84.99

Stochastic Analysis for Poisson Point Processes

$139.99

Vortex Ring Models

$139.99

Information Experience and Information Literacy

$84.99

Disability in the Workplace

$169.99

Global Perspectives on Social Capital and Health

$199.99

Freiformschmiede

$59.99

ICT and Critical Infrastructure: Proceedings of the 48th Annual Convention of Computer Society of In

$219.99

Der praktische Maschinenzeichner

$59.99

Ferdinand Tnnies

$64.99

Medizinisches Wrterbuch/Diccionario de Medicina/Dicionrio de termos mdicos

$39.99

Einige Grundfragen des Internationalen Unternehmensrechts

$59.99

Oops, Pounce, Quick, Run!

$4.46

Journalismus und Medien als Organisationen

$89.99

Die Werksgemeinschaft in historischer und soziologischer Beleuchtung

$59.99

Whiteness and Stigma in the Workplace

$109.99

Mega Robo Bros - Freddy vs. School: Freddy vs. School: The Rival

$5.99

Focal Therapy of Prostate Cancer

$54.99

Solving Optimization Problems with the Heuristic Kalman Algorithm

$119.00

Fuzzy Set Theory and Advanced Mathematical Applications

$129.00

Vitamin C

$54.99

Fuzzy Information and Engineering 2010

$259.00

Art, Excess, and Education

$129.99

Von Kung-Fu bis Ladypower. 33 bungen in moderner Philosophie

$29.99

From Quantum to Classical

$169.99

Explainable Artificial Intelligence Based on Neuro-Fuzzy Modeling with Applications in Finance

$179.99

Computational Intelligence

$109.99

Information Systems and Neuroscience

$159.99

Principles of Discontinuous Dynamical Systems

$39.99

Kommunale Rechtsanwendung im Umbruch und Wandel

$59.99

The Presidential Republic

$54.99

Protocols for Adult Stem Cells

$89.00

The Physiology of Hemostasis

$39.99