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 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 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
Laurent Series and their Pad Approximations
$39.99
Untersuchungen zur Hochtemperaturwechselbestndigkeit schmelzgegossener feuerfester Steine
$59.99
Biomedical Signals and Sensors I
$139.00
Native Languages of the Americas
$54.99
Erfassung, Beurteilung und Bewertung von Deckschichten
$59.99
Kriegsentschdigung
$54.99
Advances in Pharmaceutical Biotechnology
$279.99
Erfolgreich Forschen
$29.99
Qualitative Methodologies in Organization Studies
$139.99
Allgemeine Betriebswirtschaftslehre Arbeitsbuch
$37.99
Das Lichtbogenschweien
$44.99
New Media and the Artaud Effect
$119.99
Patient Assessment in Clinical Pharmacy
$159.99
Inflammatory Bowel Disease and Coeliac Disease in Children
$109.99
The Economics of the Frontier
$139.99
Artificial Intelligence and the Arts
$199.99
Approaches to Traditional Chinese Medical Literature
$169.99
Neuroendocrinology of Aging
$84.99
Verletzungen des Schultergelenks
$69.99
Medizinisches Wrterbuch Deutsch-Trkisch / Trkisch-Deutsch
$14.99
Bold Ventures Volume 1
$54.99
Fourier Transform Infrared Spectroscopy
$109.99
Tilapias: Biology and Exploitation
$219.99
The Sciences in the European Periphery During the Enlightenment
$129.99
Study on the Zero-Backlash Roller Enveloping Precision Reducer
$199.99
The Meaning of Something
$99.00
Die Konzentration der Berufe und ihre Bedeutung fr die Berufspdagogik
$59.99
International Disaster Response Law
$109.99
Handbook Of Molecular Sieves
$329.99
Class Inequality in the Global City
$89.99
Language, Identity and Cycling in the New Media Age
$129.99
The Consequences of Short-Sale Constraints on the Stability of Financial Markets
$39.99
Light:Its Interaction with Art and Antiquities
$169.99
Tod, Modernitt und Gesellschaft
$44.99
Anaesthesia, Pain, Intensive Care and Emergency Medicine A.P.I.C.E
$54.99
Earthquake and Disaster Risk: Decade Retrospective of the Wenchuan Earthquake
$109.99
Women in Corporate Management
$109.99
Biometric Security and Privacy
$129.00
Proceedings of the Second International Oats Conference
$39.99
Hidden Markov Models
$179.99
