Get Free Shipping on orders over $89
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 Systems Analysis & Design

Fundamentals of Software Architecture : A Modern Engineering Approach - Mark Richards
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Linux Pocket Guide : 4th Edition - Essential Commands - Daniel J. Barrett
Systems Analysis and Design : 12th edition - Harry J. Rosenblatt

RRP $169.95

$137.99

19%
OFF
Data-driven BIM for Energy Efficient Building Design : 1st Edition - Saeed Banihashemi
Business Driven Information Systems ISE : 9th Edition - Paige Baltzan
The AI Engineering Bootcamp : Build, Ship, Share - Greg Loughnane

RRP $107.95

$75.75

30%
OFF
Spark : The Definitive Guide : Big Data Processing Made Simple - Bill Chambers
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Rust Atomics and Locks : Low-Level Concurrency in Practice - Mara Bos