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

Model Checking Software

Model Checking Software

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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

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

$39.99
See Site In stock Visit Store

Similar Products

Identifying Security Logics in the EU Policy Discourse

$49.99

Online Education During COVID-19 and Beyond

$179.99

Old Questions and Young Approaches to Animal Evolution

$119.99

Integrated Uncertainty in Knowledge Modelling and Decision Making

$54.99

Axes of Sustainable Development and Growth in India

$169.99

Finite Dimensional Convexity and Optimization

$109.99

Artificial Intelligence and Security

$54.99

Change Kommunikation als Managementaufgabe

$37.99

Wie man ber Wandel spricht

$59.99

Frida Kahlo y sus animalitos

$6.71

On Norbert Elias - Becoming a Human Scientist

$54.99

Adult Congenital Heart Disease

$159.99

Atlas of Intraoperative Cranial Nerve Monitoring in Thyroid and Head and Neck Surgery

$199.99

NC-gerechte Beschreibung von Werkstcken mit gekrmmten Flchen

$59.99

Prevention of Kidney Disease and Long-Term Survival

$39.99

Big Data and Visual Analytics

$159.99

Gingival Recession Management

$89.00

First Philosophy

$179.99

Contemporary Issues in Modeling Psychopathology

$169.99

Lisp Lore: A Guide to Programming the Lisp Machine

$39.99

Abschtzungen fr Differentialoperatoren im Halbraum

$49.99

Chemische Reaktionstechnik

$34.99

North American Critical Theory After Postmodernism

$109.99

Robust Event-Triggered Control of Nonlinear Systems

$169.99

Verification by Error Modeling

$84.99

Bye, Penguin!

$5.96

Managing Environmental Risks through Insurance

$159.99

Die Leistung von Aktienanalysten aus Anlegersicht

$74.99

Machine Learning: ECML 2000

$39.99

The Classroom

$54.99

Systemisch-konstruktivistisches Didaktisches Reasoning

$17.99

Chefsache Interim Management

$24.99

Human Rights and Narrated Lives

$109.99

Optimizing Transport Logistics Processes with Multiagent Planning and Control

$39.99

Vergiftungen

$59.99

Return to Growth in CIS Countries

$109.99

Bilanzanalyse und Kennzahlen

$54.99

Geschichte der Soziologie 1

$69.99

Marine Mammals: the Evolving Human Factor

$149.00

The Palgrave Handbook of Gender and Healthcare

$69.99