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

Model Checking Software

Best Price (Coupon Required):
Buy Model Checking Software for $36.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: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.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
$39.99 $39.99

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

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031661488
Condition
New
Product Description

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Shakespeare's Hybrid Faith

Shakespeare's Hybrid Faith

$54.99
Am Ufer der Fremde

Am Ufer der Fremde

$29.99
Protein Reviews

Protein Reviews

$109.99
Sectio caesarea

Sectio caesarea

$17.99
Hamiltonian Dynamics - Theory and Applications

Hamiltonian Dynamics - Theory and Applications

$34.99
Consensus Under Fuzziness

Consensus Under Fuzziness

$169.99
Computational and Evolutionary Analysis of HIV Molecular Sequences

Computational and Evolutionary Analysis of HIV Molecular Sequences

$129.00
Optimization in Public Transportation

Optimization in Public Transportation

$109.00
A Clinicians Guide to ADHD

A Clinicians Guide to ADHD

$84.99
Neural Information Processing

Neural Information Processing

$39.99
General Principles of Children's Orthopaedic Disease

General Principles of Children's Orthopaedic Disease

$54.99
Hyperbolicity

Hyperbolicity

$34.99
Latin America in the 1930s

Latin America in the 1930s

$109.99
Issues on Health and Healthcare in India

Issues on Health and Healthcare in India

$109.99
The Origins of Irish Convict Transportation to New South Wales

The Origins of Irish Convict Transportation to New South Wales

$109.99
Chinas Achilles Heel

Chinas Achilles Heel

$59.99
Big Data Analytics: A Management Perspective

Big Data Analytics: A Management Perspective

$139.99
Order Ethics: An Ethical Framework for the Social Market Economy

Order Ethics: An Ethical Framework for the Social Market Economy

$109.99
Vernderungsintelligenz

Vernderungsintelligenz

$89.99
Design and Implementation of Optimization Software

Design and Implementation of Optimization Software

$54.99
The Riemann Hypothesis

The Riemann Hypothesis

$199.99
China  Stratigraphy, Paleogeography and Tectonics

China Stratigraphy, Paleogeography and Tectonics

$169.99
Catalogue of Books on Music

Catalogue of Books on Music

$54.99
Handbuch Fahrzeugakustik

Handbuch Fahrzeugakustik

$54.99
Temporale Muster

Temporale Muster

$59.99
Der Marktwert im Rechnungswesen der Banken

Der Marktwert im Rechnungswesen der Banken

$44.99
Visual Content Processing and Representation

Visual Content Processing and Representation

$54.99
Digital Signal Processing for Wireless Communication using Matlab

Digital Signal Processing for Wireless Communication using Matlab

$109.99
Economic Analysis of Suicide Prevention

Economic Analysis of Suicide Prevention

$139.99
Teil I: Mglichkeiten zur Verbesserung des Geruschverhaltens von Zahnradgetrieben. Teil II: Verschl

Teil I: Mglichkeiten zur Verbesserung des Geruschverhaltens von Zahnradgetrieben. Teil II: Verschl

$84.99
OTC Derivatives: Bilateral Trading and Central Clearing

OTC Derivatives: Bilateral Trading and Central Clearing

$84.99
Arbeitsrecht 2

Arbeitsrecht 2

$69.99
Knstliche Intelligenz im Gesundheitswesen

Knstliche Intelligenz im Gesundheitswesen

$119.99
Critical Issues in Surgery

Critical Issues in Surgery

$39.99
E-Learning, E-Education, and Online Training

E-Learning, E-Education, and Online Training

$39.99
Blockchain Technology and Application

Blockchain Technology and Application

$39.99
Real Estate Valuation Theory

Real Estate Valuation Theory

$84.99
International Human Right to Conscientious Objection to Military Service and Individual Duties to Di

International Human Right to Conscientious Objection to Military Service and Individual Duties to Di

$109.99
Automated Deduction - CADE-19

Automated Deduction - CADE-19

$54.99
Development of Science Teachers' TPACK

Development of Science Teachers' TPACK

$39.99
previous
next