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
Information Systems Security
$39.99
Die Constitutionen von Melfi und das Jus Francorum
$59.99
Kindler Kompakt: Niederlndische und Flmische Literatur
$19.99
Popular Journalism in Contemporary China
$129.99
Life and Death in the Delta
$54.99
IFM99
$109.99
My Books Summer Grade 1 Fiction/Nonfiction 10-Book Bundle
$49.95
Kosten- und zeiteffizienter Wandel von Produktionssystemen
$74.99
Handbook of Osteoporosis
$39.99
Moderne Frsorge und ihre Legitimation
$59.99
Uterus myomatosus
$44.99
Authority and Subjugation in Writing of Medieval Wales
$39.99
Handbook of Positive School Psychology
$149.00
Missing Links in the Unemployment Relationship
$109.99
The Information Superhighway and Private Households
$54.99
Wrter fr Dinge
$69.99
Against Eurocentrism
$39.99
Handbook of Industrial Chemistry and Biotechnology
$699.99
The Dialectic Relation Between Physics and Mathematics in the XIXth Century
$54.99
Die Pflanzliche Zellwand
$44.99
Processes and Foundations for Virtual Organizations
$84.99
Melanoma
$139.00
SmartData
$169.99
Psychopathy
$649.99
Der Prozentstreifen als Hilfsmittel bei Prozentaufgaben
$54.99
Systems Reliability and Risk Analysis
$219.99
Einfhrung in die Spieltheorie
$34.99
Treatment Options Before and After Edentulism
$159.99
Familien im Mediennetz
$59.99
Ngaju Religion
$99.99
Chemie fr Biologen
$34.99
The Contingent Valuation Method in Health Care
$54.99
Politikvermittlung
$49.99
Lexile Collection Middle School Levels 600-690
$115.00
Syphilis and Subjectivity
$129.99
Second Generation Wavelets and Applications
$84.99
National Intellectual Capital and the Financial Crisis in Austria, Belgium, the Netherlands, and Swi
$39.99
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems X
$54.99
Kane der Nordpolfahrer
$59.99
Teaching History and Social Studies to English Language Learners
$119.00
