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

Peekaboo: Peekaboo Senses

Peekaboo: Peekaboo Senses

$6.71
Bacterial Cell Surfaces

Bacterial Cell Surfaces

$169.99
Aptamers

Aptamers

$109.99
Erziehungswissenschaft, Schulorganisation und sozial bedingte Ungleichheit

Erziehungswissenschaft, Schulorganisation und sozial bedingte Ungleichheit

$79.99
Elektrizittszhler. Tarifgerte, Mewandler, Schaltuhren

Elektrizittszhler. Tarifgerte, Mewandler, Schaltuhren

$44.99
Optimization of Structural Systems and Industrial Applications

Optimization of Structural Systems and Industrial Applications

$549.99
Biology of Depressive Disorders. Part B

Biology of Depressive Disorders. Part B

$109.99
Adhesive Interactions in Normal and Transformed Cells

Adhesive Interactions in Normal and Transformed Cells

$89.00
Advanced Hybrid Information Processing

Advanced Hybrid Information Processing

$99.00
An Introduction to Mathematical Finance with Applications

An Introduction to Mathematical Finance with Applications

$79.99
Practitioners Guide to Clinical Neuropsychology

Practitioners Guide to Clinical Neuropsychology

$109.99
Optimierung

Optimierung

$99.99
Verdi-Handbuch

Verdi-Handbuch

$29.99
Children and Materialities

Children and Materialities

$99.99
Context-Aware Mobile Computing

Context-Aware Mobile Computing

$14.99
Integrated Product and Sales Management in B2B

Integrated Product and Sales Management in B2B

$79.99
The New Humor in the Progressive Era

The New Humor in the Progressive Era

$54.99
The Rhetoric and Reality of Marketing

The Rhetoric and Reality of Marketing

$109.99
Nordic Contributions in IS Research

Nordic Contributions in IS Research

$54.99
Scholar Zone Extended Learning Plus Math Grade K

Scholar Zone Extended Learning Plus Math Grade K

$680.00
Semidistributive Modules and Rings

Semidistributive Modules and Rings

$39.99
Counseling Asian Indian Immigrant Families

Counseling Asian Indian Immigrant Families

$109.99
Global Economic Challenges

Global Economic Challenges

$149.00
Transactions on Computational Collective Intelligence VI

Transactions on Computational Collective Intelligence VI

$39.99
Wertesystem-Segmentierung im Automobilmarketing

Wertesystem-Segmentierung im Automobilmarketing

$59.99
Alltagsintelligenz

Alltagsintelligenz

$49.99
Filtering, Segmentation and Depth

Filtering, Segmentation and Depth

$39.99
ATP and the Heart

ATP and the Heart

$169.99
Kritik der Medien

Kritik der Medien

$59.99
12  12 Schlsselkonzepte zur Mathematik

12 12 Schlsselkonzepte zur Mathematik

$37.99
Narkose- und berwachungssysteme fr die Kinderanaesthesie

Narkose- und berwachungssysteme fr die Kinderanaesthesie

$69.99
Mandeville Studies

Mandeville Studies

$109.00
Indian Pandanaceae - an overview

Indian Pandanaceae - an overview

$84.99
Mehr Verkauf durch Nichtverkauf

Mehr Verkauf durch Nichtverkauf

$39.99
Sustainable Finance, Digitalization and the Role of Technology

Sustainable Finance, Digitalization and the Role of Technology

$329.99
Control and Optimal Design of Distributed Parameter Systems

Control and Optimal Design of Distributed Parameter Systems

$84.99
Uncertainty Deconstructed

Uncertainty Deconstructed

$54.99
Technische Bcher 1945  Mrz 1950

Technische Bcher 1945 Mrz 1950

$59.99
Mathematics as Problem Solving

Mathematics as Problem Solving

$59.99
Proceedings of the 11th International Symposium on Heating, Ventilation and Air Conditioning (ISHVAC

Proceedings of the 11th International Symposium on Heating, Ventilation and Air Conditioning (ISHVAC

$219.99
previous
next