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
9783031321573
Condition
New
Product Description

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 2627, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$40.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$40.50
See Site In stock Visit Store

Similar Products

102. Kongre der Deutschen Gesellschaft fr Chirurgie Mnchen, 10.13. April 1985

$69.99

ber die Reaktion von Acetylen mit den Bestandteilen von Trockenreinigungsmassen

$54.99

The Developing Language Learner

$109.99

Islamic Economics and Finance

$39.99

Singular Perturbations and Boundary Layer Theory

$44.99

Management of Fecal Incontinence

$39.99

Die Brokmer Rechtshandschriften

$59.99

Kooperation in strategischen Wissensnetzwerken

$64.99

Computational Strategies Towards Improved Protein Function Prophecy of Xylanases from Thermomyces la

$54.99

Ant Algorithms

$54.99

Bildung als Privileg?

$54.99

Studies on Montesquieu - Mapping Political Diversity

$109.99

The Littlest Series: The Littlest Cupid

$3.71

Konjunktur und Wachstum

$59.99

Governing Metropolitan Transport

$54.99

Anhedonia: A Comprehensive Handbook Volume II

$169.99

Experimental Watershed Liming Study

$84.99

Handbook on Policing in Central and Eastern Europe

$109.99

Agrar-unternehmensrecht

$74.99

Dialog Systems

$129.99

Foodscapes

$89.00

Erkrankungen der Inneren Organe und des Nervensystems nach Elektrischen Unfllen

$59.99

No, David!: Crece ya, David!

$5.99

Measuring Behavioral Health Outcomes

$54.99

Application and Theory of Petri Nets

$54.99

Social Judgment and Intergroup Relations

$39.99

Computational Techniques for Intelligence Analysis

$99.99

Das Permeabilittsproblem

$59.99

Advances in Rings, Modules and Factorizations

$199.99

Lecture Notes in Rotorcraft Engineering

$119.99

Relational and Algebraic Methods in Computer Science

$54.99

Scientific Discovery, Logic, and Rationality

$219.99

Datenschutz und Datensicherung im Wandel der Informationstechnologien

$69.99

Narratives of Community in the Black British Short Story

$49.99

Beginning HTML with CSS and XHTML

$29.99

Morse Homology

$69.99

Pro SharePoint 2013 Branding and Responsive Web Development

$49.99

Alternative Wastewater Treatment

$219.99

Production Factor Mathematics

$39.99

Grand Challenge Problems in Technology-Enhanced Learning II: MOOCs and Beyond

$54.99