Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Routes to Cellulosic Ethanol
$129.00
Phnomenologische Modellierung der stationren und transienten Stickoxidemissionen am Dieselmotor
$64.99
Health Care Computing
$39.99
Community Economic Development in the United States
$139.99
Dance Theatre in Ireland
$54.99
Die Leute von Seldwyla
$64.99
Switching Machines
$54.99
Arthroscopic Laser Surgery
$39.99
Antiphilosophy of Christianity
$119.99
Corporate Manslaughter and Regulatory Reform
$109.99
Pituitary Disorders throughout the Life Cycle
$109.99
Charting Scottish Tourism and the Early Scenic Film
$54.99
The Postmodern Turn in the Social Sciences
$139.00
Regional and National Elections in Western Europe
$109.99
Atlas of Esophageal Surgery
$79.99
Die gescheiterte Zukunft der Ersten Republik
$44.99
The World of Programming Languages
$139.00
Technikleitbilder und Broarbeit
$69.99
Space and Terrestrial Biotechnology
$39.99
Europa - quo vadis?
$44.99
Scalias Constitution
$59.99
Kants Practical Philosophy Reconsidered
$169.99
Die Erkrankungen der Scheide
$59.99
Nuestra Amrica
$7.49
Regional Development Reconsidered
$109.99
Social Capability and Long-Term Economic Growth
$54.99
CONCUR 2007 - Concurrency Theory
$39.99
Forensic Neuropsychology
$109.99
Fluid Flow, Heat Transfer and Boiling in Micro-Channels
$169.99
Zur Theorie des schwingungsfreien Drehstromtransformators
$54.99
The Vernacular Matters of American Literature
$54.99
Organizational Science Abroad
$169.99
SharePoint 2010 as a Development Platform
$39.99
Disgorgement of Profits
$169.99
Kommunikation und organisatorischer Wandel
$49.99
Einstein's Relativity
$109.99
Advanced Information Systems Engineering
$84.99
Standards in Pancreatic Surgery
$159.99
Technology and Markets for Knowledge
$129.00
The Growth Behavior of Family Firms
$54.99
