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 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Reviews
Questions & Answers
Bayesian Full Information Structrual Analysis
$54.99
Kjv Deluxe Gift & Award Bible (DiCarta Brown) by Barbour Publishing
$15.99
HCI International 2021 - Posters
$84.99
Nature, Economy and Society
$109.99
Diskrete Mathematik
$44.99
Digitale Zustandsregelung elektrischer Vorschubantriebe
$69.99
C++ mit Visual Studio 2019
$69.99
Hybrid Learning and Continuing Education
$39.99
Anti-dumping Law in a Liberal Trade Order
$44.99
LDP und NDP in der DDR 1949 1958
$59.99
Emerging Strategies in Neuroprotection
$54.99
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation
$54.99
Formalisieren und Beweisen
$59.99
Stars (A True Book: Our Universe)
$5.99
Ed.D. Programs as Incubators for Social Justice Leadership
$39.99
Advances and Clinical Practice in Pyrosequencing
$84.99
Nachhaltige betriebliche Wasserwirtschaft
$69.99
Atomic Force Microscopy/Scanning Tunneling Microscopy 3
$129.00
The Use of Smart Mobile Equipment for the Innovation in Organizational Coordination
$49.95
Convection in Porous Media
$379.99
Psychosocial Aspects of Oncology
$84.99
Recent Developments in General Relativity,Genoa 2000
$109.99
Das Gefahrtarifwesen und die Beitragsberechnung der Unfallversicherung des Deutschen Reiches
$44.99
Guide to Teaching Computer Science
$69.99
Variable Structure Systems: Towards the 21st Century
$129.00
Intellektuelle Grenzgnge
$69.99
Advances in Computer Science, Environment, Ecoinformatics, and Education
$84.99
Wirkungen von Fortbildungen zum Thema Rechenschwche auf fachdidaktische Fhigkeiten und motivationa
$59.99
Building Your Next Big Thing with Google Cloud Platform
$44.99
Kritische Metalle in der Groen Transformation
$64.99
Illinois (A True Book: My United States)
$23.25
Next Generation Optical Network Design and Modelling
$109.99
Control Systems Theory and Applications for Linear Repetitive Processes
$219.99
Performance Evaluation of Foreign Subsidiaries
$39.99
Pension Reform in Latin America and Its Lessons for International Policymakers
$169.00
Applied Scanning Probe Methods XI
$169.99
Spectral Measures and Dynamics: Typical Behaviors
$139.99
Greek Islander Migration to Australia since the 1950s
$119.99
Grundlagen der CSR aus der Perspektive des Marketings
$17.99
Outdoor Lighting: Physics, Vision and Perception
$169.99
