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

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.

Available Colors
Available Sizes
1 Offer Price Range: $54.99 - $54.99
BEST PRICE

Single Product Purchase

$54.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
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

Philosophy, Mind, and Cognitive Inquiry

$169.99

Molecular Anthropology

$84.99

Marian Devotion Among the Roma in Slovakia

$59.99

Der Chief Digital Officer

$44.99

Mechanics of Biological Systems and Materials, Volume 2

$169.00

Shallow Water Hydraulics

$139.99

Physics and Technology of Hyperthermia

$259.00

The Unconscious Domain

$39.99

Integral, Measure, and Ordering

$219.99

Advances in Computing

$84.99

Asian Post-crisis Management

$169.99

Cornerstones of Freedom-Third Series: The Democratic Process

$6.71

Basic Theoretical Physics

$49.99

Dislocation Dynamics During Plastic Deformation

$219.99

Verification and Control of Hybrid Systems

$109.00

Urban Land Economics and Public Policy

$44.99

Human Geographies Within the Pale of Settlement

$129.99

Peer Play and Relationships in Early Childhood

$169.99

Fibel der gastroenterologischen Funktionsdiagnostik

$59.99

Law in the Practice of Psychiatry

$39.99

Efficient Management of Wastewater

$129.00

Pharmacokinetics in Drug Development

$219.99

S-BPM in the Production Industry

$59.99

Computer Vision -- ECCV 2014

$54.99

Mit Werkzeugen Mathematik und Stochastik lernen Using Tools for Learning Mathematics and Statistic

$74.99

Problemgeschichte kritischer Fragen

$69.99

Educational Leadership in Policy

$89.00

Biogeography and Ecology of Southern Africa

$549.99

Geographical Indication Protection in India

$109.99

Vaticanum II und Tridentinum

$59.99

Pollination Mechanisms, Reproduction and Plant Breeding

$84.99

The Spanish Model for Smart Tourism Destination Management

$59.99

Gemischbildung und Verbrennung im Ottomotor

$99.99

Essential Atlas of Cardiovascular Disease

$169.99

Exploring Animal Behavior Through Sound: Volume 1

$59.99

Global Warming The Research Challenges

$84.99

Pocket Guide Biologie - ergnzend zum Purves

$17.99

Practical LEGO Technics

$64.99

ber die Beziehungen der Qualitt des Nahrungseiweies und der von ihr unterhaltenen Oxydationslage

$49.99

Sensory-Motor Areas and Aspects of Cortical Connectivity

$219.99