Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Paperback, 1st ed. 2022)

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.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 13182
Release date:	2022
First published:	2022
Editors:	Bernd Finkbeiner • Thomas Wies
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	520
Edition:	1st ed. 2022
ISBN-13:	978-3-03-094582-4
Categories:	Books > Computing & IT > Internet > Network computers Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-03-094582-0
Barcode:	9783030945824

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!