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
ber die Ermittlung von Schnittkrften und das statistische und dynamische Verhalten von Verzahnmasc
$59.99
Theoretische und experimentelle Beitrge zur Grenzschichtstrmung
$59.99
What Price Food?
$84.99
Practical Design of Ships and Other Floating Structures
$379.99
Entwicklung einer Methodik fr die durchgngige Integration von Hardware und Softwaremodellen in Sim
$39.99
Pathologische Anatomie des Herzens und seiner Hllen
$64.99
Literature 1988, Part 2
$84.99
Unberechenbare Umwelt
$64.99
Charles Townshend
$99.00
Network Science
$84.99
Emerging Technologies for In Situ Processing
$39.99
Processed Apple Products
$54.99
Waves in Nonlinear Pre-Stressed Materials
$84.99
Network Models in Economics and Finance
$109.99
Complex Numbers from A to ... Z
$69.99
Content and Language Integrated Learning in Monolingual Settings
$99.00
Algebraic Methods: Theory, Tools and Applications
$84.99
Optimal Control of Random Sequences in Problems with Constraints
$109.99
Smart Green Innovations in Industry 4.0
$139.00
Cultural Time Lag
$74.99
Understanding Analysis
$34.99
Agriculture in the Uruguay Round
$169.99
Teacher Empowerment Toward Professional Development and Practices
$159.99
Rationalitten des Kinderschutzes
$44.99
Chemical Shifts and Coupling Constants for Phosphorus-31, Part 2
$549.99
Nordamerikanische Seehafentechnik
$54.99
Wonderful Solutions and Habitual Domains for Challenging Problems in Changeable Spaces
$84.99
The German Lnder
$17.99
Reactive Oxygen Species in Plant Biology
$199.99
Perspectives on the Holocaust
$109.99
Konflikte um den Konfliktrahmen
$39.99
Agile Einfhrung der E-Akte mit Scrum
$49.99
Membrane Transport in Plants
$109.99
Die Zweiflgler (Dipteren) des Kais. Museums zu Wien
$49.99
Cinema and Society in the British Empire, 1895-1940
$54.99
The Stages of Human Life
$109.99
Business Cycles and Macroeconomic Stability
$169.00
Feminism and Migration
$169.99
Die Eingriffe am Harnapparat und an den Mnnlichen Geschlechtsteilen
$74.99
Comparison of Ab Initio Quantum Chemistry with Experiment for Molecules
$219.99
