Get Free Shipping on orders over $79
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15â"16, 2019, Proceedings - Axel Legay

Model Checking Software

26th International Symposium, SPIN 2019, Beijing, China, July 15â"16, 2019, Proceedings

By: Axel Legay (Editor), Thomas Given-Wilson (Editor), Fabrizio Biondi (Editor)

Paperback | 14 September 2019

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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. 

More in Algorithms & Data Structures

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schll
Code Dependent : Living in the Shadow of AI - Madhumita Murgia

RRP $24.99

$21.75

13%
OFF
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
Learning Spark : Lightning-Fast Data Analytics - Brooke Wenig

RRP $152.00

$73.75

51%
OFF
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

New Storytelling : Learning through Metaphors - Anna Ursyn

RRP $103.00

$91.75

11%
OFF
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

RRP $94.99

$85.75

10%
OFF
Scheduling Variable Capacity Resources for Sustainability - Anne Benoit
Tiny Machine Learning Techniques for Constrained Devices - Khalid El-Makkaoui