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

Ausbreitung elektromagnetischer Wellen

$69.99

Islam und Bildung

$49.99

Der Wille des Menschen zwischen Leben und Sterben Patientenverfgung und Vorsorgevollmacht

$69.99

Erlebte Aufgabenschwierigkeit bei der Unterrichtsplanung

$74.99

Entwicklungen von Divisionsverstndnissen bei Kindern in der Grundschule

$69.99

Self-Organization and Associative Memory

$54.99

Toughening Mechanisms in Quasi-Brittle Materials

$39.99

Hundert Jahre Deutsche Gesellschaft fr innere Medizin

$59.99

Franz Rosenzweig Sprachdenken

$329.99

Classical Mechanics

$64.99

Implementierungsmanagement

$74.99

Advances in Swarm Intelligence

$54.99

Physiologie des Menschen und der Sugethiere

$59.99

Left-Right Asymmetry in Vertebrate Development

$169.99

Ecological Political Economy and the Socio-Ecological Crisis

$54.99

Tipps & Tricks fr den Orthopden

$54.99

Communicating, Networking: Interacting

$24.99

Information Management for Engineering Design

$39.99

Strategic Planning for Advanced Nursing Practice

$49.99

Symposia on Theoretical Physics and Mathematics 8

$54.99

Internet Addiction

$119.99

Fungi and Food Spoilage

$169.99

Implantation

$54.99

Current and New Directions in Discourse and Dialogue

$169.99

Environmental Policy and Renewable Energy Equipment Exports

$54.99

Betreuungsrecht und Patientenverfgungen

$19.99

Applications of Learning Classifier Systems

$129.00

Theme and Thematic Progression in Chinese College Students English Essays

$39.99

Business Information Systems

$54.99

Konsumentenverhalten im Zeitalter der Digitalisierung

$17.99

Microstructure and Properties of High-Temperature Superconductors

$139.00

Educational Alternatives for Students with Learning Disabilities

$54.99

Valuation, Hedging and Speculation in Competitive Electricity Markets

$84.99

Pathophysiology of Headaches

$109.99

Innovations in Macroeconomics

$89.00

Control Theory in the Plane

$109.99

International Human Resource Management in Japanese Firms

$84.99

Capillary Surfaces

$219.99

Intimisierung des ffentlichen

$59.99

Dirty Data Processing for Machine Learning

$169.99