Copied Model Checking Software
Model Checking Software
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Lehrbuch der Analysis. Teil 2
$59.99
Behavioral Case Formulation
$169.99
Christianity and Moral Identity in Higher Education
$19.99
Migration and Belonging
$74.99
Sediments and Toxic Substances
$39.99
Gamma Knife Radiosurgery
$109.99
Bandverletzungen des Kniegelenkes
$69.99
Sojourns in Probability Theory and Statistical Physics - III
$129.00
Operations Research Proceedings
$119.00
Collected Papers on Epistemology, Philosophy of Science and History of Philosophy
$109.99
Blepharitis
$79.99
Logics of Programs
$54.99
An Introduction to Signal Detection and Estimation
$119.99
Fantastik im Realismus
$44.99
27th International Meshing Roundtable
$109.99
A War of Religion
$129.99
Proceedings of Third International Conference on Computational Electronics for Wireless Communicatio
$219.99
Workers Compensation Insurance Pricing
$109.99
Goodness-of-Fit Statistics for Discrete Multivariate Data
$39.99
Fundamentals of Plant Breeding
$129.99
Information Systems Action Research
$84.99
Natural Language Processing Recipes
$64.99
Alliances for Sustainable Development
$109.99
Animal Lectins: Form, Function and Clinical Applications
$329.99
Carbohydrates as Drugs
$169.00
Introduction to Scientific Publishing
$39.99
Conceptual Modeling
$39.99
Precast Concrete Raft Units
$329.99
Stochastic Neuron Models
$54.99
Computers, Chess, and Cognition
$159.99
Animating Calculus
$99.00
Shakespeare Between the World Wars
$64.99
Towards a Relational Theory of the Firm
$119.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
Women, Labor Segmentation and Regulation
$99.99
The Volume of Vector Fields on Riemannian Manifolds
$44.99
Neurochemistry in Clinical Practice
$109.99
Aristoteles
$69.95
Das 1 x 1 der Prsentation
$34.99
Sustainable Entrepreneurship
$64.99
