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 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented 14 regular papers and 4 tool or new idea papers were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Bchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.
Reviews
Questions & Answers
The Jungle Run
$4.46
Politics of Anti-Racism Education: In Search of Strategies for Transformative Learning
$109.99
Genetics of the Hungarian Population
$109.99
Standard-Setting Organisations IPR Policies
$159.99
Zukunftsfeld Dienstleistungsarbeit
$74.99
Design of Experiments for Reinforcement Learning
$109.99
The Aesthetic and Political Practices of Trans Women in Peru
$129.99
NETWORKING 2011 Workshops
$54.99
Advances in Child Neuropsychology
$109.99
Stanztechnik
$59.99
The Palgrave Literary Dictionary of Mary Wollstonecraft Shelley
$159.99
The Rain Forest
$5.99
Public and Private Enterprise in a Mixed Economy
$84.99
New Ways of Communicating Archaeology in a Digital World
$119.99
Medaka
$219.99
Computational Methods in Water Resources IX
$549.99
Grid and Cooperative Computing
$109.99
Theatre Censorship in Britain
$39.99
Fhrung und Projekterfolg mit US-Geschftspartnern
$39.99
Risk-Return Relationship and Portfolio Management
$129.99
Focal-Plane Sensor-Processor Chips
$89.00
Hundred Years of the Russian Revolution
$139.99
Curiosities in Medicine
$54.99
Development of Sensory Systems
$84.99
Gandhis Autobiographical Construction of Selfhood
$49.99
Understanding Artificial Intelligence
$89.99
Avoiding Misdiagnosis in Pediatric Practice
$49.99
Volkswirtschaftslehre
$44.99
Pioniere des Versicherungsgedankens
$59.99
Mathematik und Gott und die Welt
$19.99
They Lost Their Heads!
$8.21
Proceedings of the Green Materials and Electronic Packaging Interconnect Technology Symposium
$129.99
Fundamentals of Two-Fluid Dynamics
$39.99
Betriebliche Planung
$59.99
Education Reform in the Obama Era
$54.99
Spitzenkandidaten und Wahlerfolg
$44.99
Recent Results in Laminar-Turbulent Transition
$219.99
Approximation Methods for Navier-Stokes Problems
$44.99
Parameterized Complexity
$219.00
Seismic Forward Modeling of Fractures and Fractured Inversion
$99.00
