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

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems

$39.99

The International Criminal Court and the End of Impunity in Kenya

$54.99

The Cinema of Muhammad Malas

$59.99

Cancer Informatics

$39.99

Enterprise, Business-Process and Information Systems Modeling

$54.99

Trustmarks in E-Commerce

$64.99

Blockchain-Technologie fr Unternehmensprozesse

$59.99

Emotions as Bio-cultural Processes

$109.99

Grundlagen der optoelektronischen Halbleiterbauelemente

$34.99

Single Pesticide Volume: The Triazine Herbicides

$54.99

My First Christmas (Disney Baby) by Disney Books

$8.99

Advances in Modeling Concrete Service Life

$169.99

Interdisciplinary Nutritional Management and Care for Older Adults

$59.99

Motor Activity and Movement Disorders

$129.00

Interdisciplinary Aspects of Turbulence

$54.99

Evolutionary Computing

$39.99

Coding theorems of classical and quantum information theory

$40.00

Berufs- und Karriere-Planer 2006: Mathematik - Schlsselqualifikation fr Technik, Wirtschaft und IT

$19.99

Atlas of Cardiovascular Pathology

$39.99

Anaerobic Bacteria

$54.99

Urban Mountain Waterscapes in Leh, Indian Trans-Himalaya

$159.99

The clinically organ-confined adenocarcinoma of the prostate

$109.99

Long Travail and Great Paynes

$109.99

The Global Competitiveness of the Asian Firm

$129.00

Politische Geschichte der Gegenwart

$59.99

Dissent, Revolution and Liberty Beyond Earth

$159.99

Nanopesticides

$129.00

IUTAM Symposium on Variable Density Low-Speed Turbulent Flows

$39.99

Candida Albicans

$129.00

Untersuchungen ber den Konverterrauch im Hinblick auf die spektrale berwachung des Thomasprozesses

$59.99

Tools for Computational Finance

$89.99

Steroid Hormones and the T-Cell Cytokine Profile

$84.99

Motion Understanding

$219.99

Computer Algebra in Scientific Computing

$54.99

Post-Secondary Education and Technology

$39.99

Human Resource Development and Information Technology

$169.99

Die Entdeckung des Neuen

$39.99

Tobacco Regulation, Economics, and Public Health, Volume III

$119.99

Interaktive Grogruppen

$79.99

Handbook of Treatment Planning for Children with Autism and Other Neurodevelopmental Disorders

$169.00