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 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.
Reviews
Questions & Answers
The Beta-Adrenergic Receptors
$169.99
Stars with Stripes
$44.99
Political Education in Times of Populism
$139.99
There Is an Alternative
$84.99
Wireless Artificial Intelligent Computing Systems and Applications
$79.99
EU Waste Regulation in a Linear-Circular Economy Transition
$54.99
11 Irrtmer ber Kennzahlen
$69.99
Proceedings of the IFIP TC 11 23rd International Information Security Conference
$129.00
Oscar Wilde and Contemporary Irish Drama
$84.99
Human Rights and Transitional Justice in Chile
$119.99
Das Mandat der Sozialen Arbeit
$49.99
Herzenswunsch Brustvergrerung
$29.99
Fhrungsverhalten und Fhrungserfolg
$79.99
Stellar Astrophysics
$219.99
Diaspora Engagement in Times of Severe Economic Crisis
$159.99
Neuroleadership
$84.99
Euro-Par 2023: Parallel Processing Workshops
$59.99
Grundzge Betriebswirtschaftlicher Steuerlehre
$59.99
Neuregelung des Verkehrs mit Betubungsmitteln
$59.99
The Cultural Sociology of Political Assassination
$54.99
Arthur Purnells Forgotten Architecture
$54.99
Decision Theory and Decision Analysis: Trends and Challenges
$169.99
New Results in Numerical and Experimental Fluid Mechanics XIV
$329.99
Quantenmechanik: Das Theoretische Minimum
$24.99
Global Differentiable Dynamics
$29.99
Generalized B*-Algebras and Applications
$64.99
The Study of Politics
$54.99
Natural Disasters and Extreme Events in Agriculture
$129.00
Supporting Inclusive Growth and Sustainable Development in Africa - Volume I
$84.99
Students Quality Circles
$129.99
Artificial Neural Networks - ICANN 2010
$109.99
Endophytes: Biology and Biotechnology
$219.99
The Concept of Stability in Numerical Mathematics
$54.99
Commitment in Kundenbeziehungen
$69.99
Lung Stem Cells in the Epithelium and Vasculature
$129.00
Rocks and Minerals
$5.21
Understanding Society and Natural Resources
$59.99
Die knstliche Seide
$79.99
Approximation Methods for Polynomial Optimization
$49.95
Elektronik fr Einsteiger
$29.99
