Get Free Shipping on orders over $79
Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings - Cezara Dragoi

Verification, Model Checking, and Abstract Interpretation

24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

By: Cezara Dragoi (Editor), Michael Emmi (Editor), Jingbo Wang (Editor)

Paperback | 17 January 2023

At a Glance

Paperback


$131.75

or 4 interest-free payments of $32.94 with

 or 

Ships in 10 to 15 business days

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

More in Computer Science

Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
What Art Is Now : Creativity in the Age of AI - Michael E. Jones
Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Agentic AI For Dummies : For Dummies (Computer/Tech) - Pam Baker
Unveiling the Art of Steganography : A Modern Approach - Urmila Pilania
Redefining Innovative Practices in the Age of AI - Binkey Srivastava

RRP $336.00

$289.75

14%
OFF
Architecture and AI : Controlling the Hallucination - Mustapha El Moussaoui

RRP $284.00

$246.75

13%
OFF
Deep Learning in Genome Mapping : Computation and Analysis - Soumya Ranjan Nayak