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 $76.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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Reviews
Questions & Answers
Accretion Disks and Magnetic Fields in Astrophysics
$169.99
ber Kostenberechnung im Tiefbau
$59.99
The Legacy of Supranationalism
$54.99
On ExcitonVibration and ExcitonPhoton Interactions in Organic Semiconductors
$199.99
Serotonin: Molecular Biology, Receptors and Functional Effects
$84.99
Gametogenesis, Early Embryo Development and Stem Cell Derivation
$39.99
Protein Supersecondary Structures
$169.99
Open Source Intelligence in the Twenty-First Century
$89.00
Advances in Stereotactic and Functional Neurosurgery 8
$39.99
Potential Theory and Degenerate Partial Differential Operators
$109.99
Die Spur der Macht im Verhltnis der Geschlechter
$69.99
Los hermanos Mozart: El reino secreto
$5.96
Optimale Vertragsgestaltung bei Venture-Capital-Finanzierungen
$69.99
Keine Moderne ohne Patriarchat?
$39.99
Springer Umweltlexikon
$59.99
GRC-Management als interdisziplinre Corporate Governance
$129.99
Database Systems
$99.99
Memory, Subjectivities, and Representation
$19.99
IRobot - uMan
$29.99
Reactor Core Monitoring
$109.99
Creation and Metaphysics
$54.99
Hepatobiliary Cancer
$259.00
The Bioarchaeology of Dissection and Autopsy in the United States
$149.00
Imaging the Brain with Optical Methods
$169.99
Stochastics of Environmental and Financial Economics
$59.99
Cell Cycle and Cell Differentiation
$39.99
Stochastic Processes: General Theory
$109.99
Therapy Response Imaging in Oncology
$99.99
Physics of High-Speed Transistors
$129.00
Defining Physiology: Principles, Themes, Concepts
$109.00
Plasticity and Fracture
$119.00
Bringing Scanning Probe Microscopy up to Speed
$109.99
The Testis
$39.99
Trends in Urban Design
$139.99
Geldmengenpolitik in Deutschland und Europa
$49.99
Dynamics of Coupled Structures, Volume 4
$169.00
Experimental Cardiovascular Diseases
$109.99
Wirtschaft zwischen Profit und Moral
$39.99
Participation and the Quality of Environmental Decision Making
$129.00
Nachhaltige Immobilien-Projektentwicklung
$17.99
