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 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Reviews
Questions & Answers
Decision Procedures
$54.99
Einfhrung in lineare elektronische Schaltungen
$69.99
Viruses in Foods
$209.00
Work, Institutions and Sustainable Livelihood
$109.99
Fundamentals of Pattern Recognition and Machine Learning
$54.99
Einflussfaktoren auf Beschaffungsorganisationen
$44.99
Darstellung und quantitative Behandlung stochastischer Ablufe mit Hilfe graphentheoretischer Method
$59.99
Die Sachentscheidungsbefugnisse des Revisionsgerichts
$74.99
Sexualised Citizenship
$99.99
Hilbert Space, Boundary Value Problems and Orthogonal Polynomials
$69.99
Mathematical Progress in Expressive Image Synthesis III
$169.99
Key Technologies for On-Demand Network Services
$199.99
The Practice of Electrocardiography
$54.99
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
$69.99
Basic and Applied Aspects
$259.00
System Theory of Continuous Time Finite Dimensional Dynamical Systems
$109.99
Growth, Cancer, and the Cell Cycle
$109.99
Touristikmanagement 2
$39.99
C++
$39.99
Atlas of 3D Transesophageal Echocardiography in Structural Heart Disease Interventions
$179.99
European Culture Since 1848
$69.99
Anwendungen der Potentialtheorie auf geophysikalische Felder
$69.99
Die Adsorption
$59.99
Die Produktion von Diversitt in stdtischen Verwaltungen
$39.99
Have You Filled a Bucket Today?- A Guide to Daily Happiness for Kids by Carol McCloud
$10.95
Kohle und Kohlen-Ersatz
$44.99
Scholastic News Grade 1
$6.25
Jugendkriminalitt
$44.99
Polypharmacology
$169.99
Durable-Strategies Dynamic Games
$109.99
Machine Learning and Data Analytics for Solving Business Problems
$139.00
Stereotactic Techniques in Clinical Neurosurgery
$54.99
Troia and the Troad
$279.99
Cradle To Grave
$19.99
North Sea Oil and Gas ReservoirsII
$84.99
Kommunikation in der digitalen Transformation
$59.99
Textbook of Pulmonary Rehabilitation
$109.00
Sustainable Building Materials and Construction
$249.99
Augmented Cognition. Theoretical and Technological Approaches
$74.99
Cloud Logistics
$99.00
