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 $49.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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
Reviews
Questions & Answers
Zur Theorie, Empirie und Politik der Einkommensverteilung
$69.99
Elektrische Zugfrderung
$84.99
Nano-Bio Probe Design and Its Application for Biochemical Analysis
$39.99
Applications of Graph Transformations with Industrial Relevance
$84.99
It's Our Garden
$5.96
Haftungsbegrenzungen bei Freiberuflern
$139.99
Marketing-Entscheidungsmodelle
$69.99
Rhinoplasty
$139.00
Geometry and its Applications
$129.00
Guided Reading Level T Pack 1
$85.00
Vocabulary and Writing in a First and Second Language
$109.99
Leisure and Culture
$109.99
Neuroscience of Stress
$109.99
Bis(s) ins Innere des Protons
$34.99
The Status of Civil Science in Eastern Europe
$39.99
ber die Kronenabwlbung und Zuwachsschwankungen der Kiefer in Nordostdeutschland
$44.99
Methoden der Modellbildung in der Gesundheitssystemforschung
$69.99
Academia from the Inside
$119.99
Innovative Methods in Horticultural Crop Improvement
$219.99
Nonlinear and Inverse Problems in Electromagnetics
$84.99
Jugendliche Lebenswelten nach 1945
$44.99
Beginning Programming Using Retro Computing
$29.99
Reproducing Kernel Spaces and Applications
$109.99
Analysis Band 1
$39.99
Kommunikation im Gesundheitswesen
$39.99
Die Krebsbehandlung in der Thoraxklinik Heidelberg
$59.99
Computational Intelligence
$84.99
'New' Migration of Families from Greece to Europe and Canada
$54.99
Algebraic and Geometrical Methods in Topology
$44.99
Quantum Methods with Mathematica
$109.99
Proceedings of the 9th International Conference on Maintenance and Rehabilitation of PavementsMaire
$219.99
Plant Gametogenesis
$169.99
Stichprobenbasierte Assoziationsanalyse im Rahmen des Knowledge Discovery in Databases
$79.99
Advances in Distributed Parameter Systems
$199.99
Mathematics in Industrial Problems
$84.99
Tractable Reasoning in Aritificial Intelligence
$39.99
Grazing in Temperate Ecosystems
$84.99
Emerging Trends in Intelligent Computing and Informatics
$169.00
Real World Windows 10 Development
$59.99
Reasoning Web. Semantic Technologies for Information Systems
$39.99
