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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
The Metaphysics of Science and Aim-Oriented Empiricism
$99.99
Objektorientiertes Programmieren
$39.00
Precision Molecular Pathology of Glioblastoma
$99.99
Alternatives to Capitalism: The Economics of Partnership
$109.99
Pro Microsoft Hyper-V 2019
$59.99
Reconfigurable Cryptographic Processor
$179.99
Strategische Spiele fr Einsteiger
$39.99
Standortplanung fr thermische Abfallbehandlungsanlagen
$69.99
Magnetic Fields of Celestial Bodies
$84.99
Privatisierung von ffentlichen Unternehmen
$39.99
Next-Generation High-Speed Satellite Interconnect
$39.99
The Afterglow of Womens Pornography in Post-Digital China
$39.99
Literary Careers in the Modern Era
$54.99
Handbook of Epoxy/Fiber Composites
$599.99
Gender and Genre in Ethnographic Writing
$159.99
Harmonisierung des europischen Bilanzrechts
$59.99
Modern Proteomics Sample Preparation, Analysis and Practical Applications
$249.99
Residue Reviews Residues of Pesticides and other Foreign Chemicals in Foods and Feeds / Rckstands-B
$54.99
Betriebliche Instandhaltung
$109.00
Radical Fictions And The Novels Of Norman Mailer
$29.99
Progress on Cryptography
$84.99
Planetary Systems
$179.99
Traum und Trauma. Vom Schlaf der Vernunft
$69.99
Augmented Cognition
$64.99
Cumulated Subject Index Volume 1 (1970) Volume 17 (1986)
$54.99
The United States, Russia and Nuclear Peace
$84.99
Multi-Modality Atherosclerosis Imaging and Diagnosis
$169.00
Topics in Dental Biochemistry
$89.00
Field Geology of High-Grade Gneiss Terrains
$54.99
Protecting Oracle Database 12c
$39.99
Pedagogies to Enhance Learning for Indigenous Students
$109.99
Super Cute by Elanor Best
$9.99
Accelerated Plant Breeding, Volume 1
$129.00
QCM-D Studies on Polymer Behavior at Interfaces
$54.99
The Crime Analyst's Companion
$169.99
Mass Transfer and Kinetics of Ion Exchange
$169.00
Nuclear Analytical Methods in the Life Sciences 1994
$169.99
Acidic Deposition and Aquatic Ecosystems
$109.99
Die sieben Erfolgsprinzipien der Schachmeister
$74.99
Erste Philosophie (1923/24) Erster Teil Kritische Ideengeschichte
$249.99
