Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 

Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues features in the following genres: Mathematical theory of computation, Artificial intelligence, Software Engineering, Databases, Computer hardware

Paperback. £62.99, down from the £69.99 cover price. Not Available.

Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues was written by Dirk Beyer, Damien Zufferey and published by Springer an imprint of Springer International Publishing

Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues has 471 pages

Yes it is part of Lecture Notes in Computer Science series

£62.99, reduced from £69.99. Not Available.