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 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
Reviews
Questions & Answers
Ontologies in Urban Development Projects
$109.99
Von geheimen Politikmachern und wissenschaftlichen Hoflieferanten
$54.99
Reform, Opening-up and China's Changing Role in Global Governance
$129.99
Smart Card Research and Advanced Applications
$54.99
The Economics of Water Demands
$109.99
Computer Vision ECCV 2018 Workshops
$39.99
Zeolite Microporous Solids: Synthesis, Structure, and Reactivity
$259.00
Cloth Simulation for Computer Graphics
$64.99
Auergewhnliche Druck- und Temperatursteigerungen bei Dieselmotoren
$59.99
Cell Kinetics of the Inflammatory Reaction
$84.99
Mycotoxins in Plants and Plant Products
$219.00
Life System Modeling and Intelligent Computing
$39.99
Wavefront Shaping and Pupil Engineering
$179.99
Wolfram von Eschenbach
$24.99
Hhenwindenergie
$79.99
Advances in Artificial-Business Analytics and Quantum Machine Learning
$109.00
Biorefineries: A Step Towards Renewable and Clean Energy
$169.99
Digital Forensics and Watermarking
$54.99
Polymer Brush Films with Varied Grafting and Cross-Linking Density via SI-ATRP
$54.99
Technische Chemie
$99.00
Beginning Java EE 5
$39.99
Culture and Government
$169.99
Transactions on Computational Collective Intelligence XIV
$54.99
Clinical Pharmacology in Psychiatry
$149.00
Griechische Formenlehre. Griechische Satzlehre
$59.99
Systemnahe Programmierung mit Borland Pascal
$54.99
Anleitungen zur ansthesiologischen Praxis
$59.99
Art, Labour and American Life
$119.99
Mathematical Logic
$39.99
Fixed Point Theory for Lipschitzian-type Mappings with Applications
$129.00
Ready-To-Go 2 25 Book Classroom Library: Independent Reading, Grade 3
$125.00
Verzeichnis der Spezialbibliotheken in der Bundesrepublik Deutschland einschlielich West-Berlin
$44.99
Site-directed insertion of transgenes
$169.99
Plant Metabolic Networks
$169.99
Bear and Squirrel are Friends
$5.96
Robot Operating System (ROS)
$99.00
Advances in Nuclear Dynamics
$39.99
The Petite Bourgeoisie
$14.99
National Space Legislation
$99.00
Logic and Machines: Decision Problems and Complexity
$39.99
