Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

NASA Formal Methods

Best Price (Coupon Required):
Buy NASA Formal Methods for $72.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$72.00
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$72.00
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Foreign Language Education in America

Foreign Language Education in America

$49.99
Die extreme Rechte in der Bundesrepublik

Die extreme Rechte in der Bundesrepublik

$44.99
Unternehmensplanung als Instrument der Unternehmensfhrung

Unternehmensplanung als Instrument der Unternehmensfhrung

$59.99
Vaccines

Vaccines

$39.99
Extreme and Systemic Risk Analysis

Extreme and Systemic Risk Analysis

$129.99
ffentliche Meinung und Demoskopie

ffentliche Meinung und Demoskopie

$59.99
Spectroscopy of Semiconductors

Spectroscopy of Semiconductors

$139.99
Effizienz gesetzlicher Kndigungsschutzbestimmungen

Effizienz gesetzlicher Kndigungsschutzbestimmungen

$49.99
Elektrische Energieversorgung

Elektrische Energieversorgung

$69.99
Halbzeit der Energiewende?

Halbzeit der Energiewende?

$19.99
Agatha Christie

Agatha Christie

$1.86
Immunohmatologie

Immunohmatologie

$44.99
Cryptic Female Choice in Arthropods

Cryptic Female Choice in Arthropods

$129.00
Automated Scheduling and Planning

Automated Scheduling and Planning

$109.99
Economics of Wildfire Management

Economics of Wildfire Management

$54.99
Data Warehousing und Data Mining

Data Warehousing und Data Mining

$39.99
Anomaly Detection in Random Heterogeneous Media

Anomaly Detection in Random Heterogeneous Media

$54.99
Advanced Techniques of Population Analysis

Advanced Techniques of Population Analysis

$109.99
The Unprecedented 2016 Presidential Election

The Unprecedented 2016 Presidential Election

$64.99
The Dictionary of Drugs: Chemical Data

The Dictionary of Drugs: Chemical Data

$129.00
Rifted Ocean-Continent Boundaries

Rifted Ocean-Continent Boundaries

$39.99
Risikomanagement in Unternehmen

Risikomanagement in Unternehmen

$17.99
Research Methods in Neurochemistry

Research Methods in Neurochemistry

$84.99
Facts and Models in Hearing

Facts and Models in Hearing

$109.99
Pro Active Record

Pro Active Record

$29.99
International Law and Humanitarian Assistance

International Law and Humanitarian Assistance

$84.99
Mechanisms in the Pathogenesis of Enteric Diseases

Mechanisms in the Pathogenesis of Enteric Diseases

$169.00
Brain Hypoxia

Brain Hypoxia

$54.99
Evaluation in Foreign Language Education in the Middle East and North Africa

Evaluation in Foreign Language Education in the Middle East and North Africa

$84.99
China's Belt and Road Initiative

China's Belt and Road Initiative

$169.00
Immunobiology of Proteins and Peptides IV

Immunobiology of Proteins and Peptides IV

$109.99
Grostdte zwischen Hierarchie, Wettbewerb und Kooperation

Grostdte zwischen Hierarchie, Wettbewerb und Kooperation

$69.99
The Moral Wager

The Moral Wager

$109.99
Risikomanagement und Fehlervermeidung im Krankenhaus

Risikomanagement und Fehlervermeidung im Krankenhaus

$69.99
Phagocytosis and Phagosomes

Phagocytosis and Phagosomes

$179.99
Modellierung schulischer Notenbildung

Modellierung schulischer Notenbildung

$84.99
Optimierung von Eigenspannungszustnden an Zylinderkpfen von PKW-Dieselmotoren mit Hilfe der Simula

Optimierung von Eigenspannungszustnden an Zylinderkpfen von PKW-Dieselmotoren mit Hilfe der Simula

$64.99
Beginning .NET Game Programming in C#

Beginning .NET Game Programming in C#

$44.99
Toward Humanoid Robots: The Role of Fuzzy Sets

Toward Humanoid Robots: The Role of Fuzzy Sets

$189.00
Diario de una Lechuza #10: Eva y Beb Mo

Diario de una Lechuza #10: Eva y Beb Mo

$4.49
previous
next