Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Model Checking Software
Best Price (Coupon Required):
Buy Model Checking Software for $40.50 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.
Single Product Purchase
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
|
|
$44.99 | $44.99 |
|
10% OFF
This deals requires coupon
|
$40.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
The Role of the Electric Vehicle in the Energy Transition
$139.99
Unternehmensplanspiele im industriebetrieblichen Hochschulstudium
$69.99
Bestimmung der Spezifischen Ozonzerstrungsrate ber Buschsteppe und des Ozonflusses in diese Oberfl
$69.99
Understanding Market Reforms in Latin America
$109.99
Beginning Serverless Computing
$54.99
Erlebnis Elementargeometrie
$37.99
Probabilistic and Stochastic Methods in Analysis, with Applications
$329.99
HNO Praxis Heute
$54.99
Cytoskeleton and Human Disease
$169.99
Karl-Fischer-Titration
$69.99
Protein-based Therapeutics
$179.99
Motilitt der oberen Harnwege
$59.99
Neutron Physics
$39.99
More Calculus of a Single Variable
$44.99
Maternal Death and Pregnancy-Related Morbidity Among Indigenous Women of Mexico and Central America
$219.99
Wombs with a View
$39.99
Gravity, Gradiometry, and Gravimetry
$109.99
Current Trends in SNePS - Semantic Network Processing System
$39.99
Red Cell Structure and Its Breakdown
$49.99
Evil and International Relations
$54.99
Skin Aging & Cancer
$109.99
Allfinanzstrategien deutscher Grobanken im europischen Binnenmarkt
$59.99
Fortschritte der praktischen Dermatologie und Venerologie
$129.00
East Central European Foreign Policy Identity in Perspective
$39.99
Information Dissemination in Currency Crises
$54.99
The Economic Effects of Trade Unions in Japan
$109.99
Fibrinklebung in der Mund-, Zahn- und Kieferheilkunde
$69.99
Modern Aspects of Electrochemistry
$39.99
Anomalous and Topological Hall Effects in Itinerant Magnets
$109.99
Die Transformation Ostdeutschlands
$59.99
Zur Theorie Thermisch Angeregter Gezeiten in der E-Schicht der Ionosphre
$69.99
Rntgendiagnostik des Schdels I / Roentgen Diagnosis of the Skull I
$59.99
Leistungslohn
$59.99
Algorithms and Discrete Applied Mathematics
$54.99
Latency and Distortion of Electromagnetic Trackers for Augmented Reality Systems
$29.99
Quantitative Models for Performance Evaluation and Benchmarking
$169.99
Philosophy of Religion A-Z
$54.99
Elektrik/Elektronik-Architekturen im Kraftfahrzeug
$119.99
Nonparametric Smoothing and Lack-of-Fit Tests
$84.99
Vorbereitung auf die Welt der Arbeit in Japan
$39.99
