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

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

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

Single Product Purchase

$79.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
$79.99 $79.99

$79.99
See Site In stock Visit Store

Similar Products

Structural Electron Crystallography

$129.00

Einfhrung in die Analysis II

$29.99

Understanding Intrusion Detection through Visualization

$109.99

Corporate Social and Human Rights Responsibilities

$84.99

The Making of Nagorno-Karabagh

$39.99

Principles of Paint Formulation

$79.99

Taschenbuch der Technischen Akustik

$89.00

Identity in Northern Ireland

$109.99

The Economics of Water

$59.99

Atomic Masses and Fundamental Constants 6

$39.99

Characterisation of a Personal Learning Environment as a Lifelong Learning Tool

$54.99

Parallel Processing and Applied Mathematics

$39.99

The Circulation of Power in Medieval Biblical Drama

$54.99

Fault Prediction Modeling for the Prediction of Number of Software Faults

$54.99

Thawing Permafrost

$199.99

Formal Grammar 2018

$39.99

La tmida Willow

$6.71

The Entrepreneurial Research University in Latin America

$84.99

Interculturalism: The New Era of Cohesion and Diversity

$54.99

Kttner Kolbenmaschinen

$54.99

Industrial Membrane Separation Technology

$449.99

Die Finanzmrkte und die konomische Selbstbehauptung Europas

$74.99

China's White-Collar Wave

$109.99

Modellierung zellulrer Gliomwachstumsprozesse in ihrer Mikroumgebung

$64.99

Cross-Cultural Design

$109.99

Interaktive Systeme

$59.99

Schadstoffe im Bauwesen

$19.99

Ganzheitliche Businessmodell-Transformation

$54.99

Cooperative Design, Visualization, and Engineering

$74.99

Language Learning in Anglophone Countries

$139.00

Democratizing Candidate Selection

$109.00

Untersuchungen auf dem Gebiet der Schweiung von Kunststoffen

$54.99

Late Postmodernism

$39.99

Plasmaphysik

$69.99

Discrete Structural Optimization

$84.99

Dermatologie und Venerologie fr das Studium

$89.99

The Econometric Analysis of Non-Stationary Spatial Panel Data

$84.99

Compact Models and Measurement Techniques for High-Speed Interconnects

$39.99

Birth of the Shinkansen

$44.99

Performance and Technology

$54.99