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:
Buy Model Checking Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Dynamics of the Pantanal Wetland in South America
$219.99
Operations Research
$59.99
Business Process Oriented Implementation of Standard Software
$54.99
Hormone Therapy in Breast and Prostate Cancer
$89.00
Semantic Analysis and Understanding of Human Behavior in Video Streaming
$54.99
Information and Software Technologies
$84.99
Vorlesungen ber Allgemeine Konstitutions- und Vererbungslehre
$59.99
Global Marine Pollution Bibliography
$109.99
Immuntherapie in der Uroonkologie
$54.99
Digital Labour, Society and the Politics of Sensibilities
$54.99
Geodesic Convexity in Graphs
$59.99
Intertemporal Macroeconomics
$54.99
Vulnerability, Social Capital and Disaster Preparedness
$119.99
Rectal Prolapse
$199.99
Handbuch der gefhrlichen Gter. Transport- und Gefahrenklassen Neu
$199.99
Aerospace Marketing Management
$84.99
Musical Entanglements between Germany and East Asia
$119.00
Athletic Enhancement, Human Nature and Ethics
$109.99
Out-thinking Organizational Communications
$79.99
Fertility Control
$259.00
Formale und informale Netzwerkstrukturen im Unternehmen
$59.99
Neurogenetics and Neuro-Ophthalmology, 5th International Congress, Nijmegen, The Netherlands, 8-10
$219.99
The Politics of Multinational States
$109.99
Principles of Magnetic Resonance
$249.99
Der Personalplan
$59.99
Microbial Systems Biology
$249.99
Childbirth Trauma
$169.99
Stochastic Optimization
$219.99
Critical Pedagogy for Early Childhood and Elementary Educators
$109.99
Theory and Reality in World Politics
$39.99
Beschreibung und Analyse unscharfer Information
$49.95
Meteorological Observations and Instrumentation
$36.00
Independent Reading: Using Your Classroom Library Grade 3-5
$19.99
Studienanalyse halbautomatischer Dokumentationsselektoren
$59.99
Human Fetal Tissue Transplantation
$169.99
Combatting Corruption at the Grassroots Level in Nigeria
$64.99
Vertrauen im interkulturellen Kontext
$69.99
Klassifikation von Mustern
$59.99
I Like to Read: Pug
$3.71
Information Security Applications
$54.99
