Free shipping on orders over $49 - Limited time only - T&Cs apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $49
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings - Bernd Finkbeiner

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

By: Bernd Finkbeiner (Editor), Thomas Wies (Editor)

Paperback | 14 January 2022

At a Glance

Paperback

$149.01

or 4 interest-free payments of $37.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.

The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

You Can Find This Book In

Non-FictionMathematicsMathematical FoundationMathematical LogicComputing & I.T.Computer ScienceArtificial IntelligenceComputer HardwareNetwork Hardware

More in Network Hardware

Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey

Applied Embedded Electronics

Design Essentials for Robust Systems

Paperback

RRP $106.50

$85.20

20%
OFF

This product is categorised by