Publisher's Synopsis
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.
Paperback (17 Jan 2023)
Save $1.47
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 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.
ISBN: | 9783031249495 |
Publisher: | Springer Nature Switzerland |
Imprint: | Springer |
Pub date: | 17 Jan 2023 |
DEWEY: | 005.14 |
DEWEY edition: | 23 |
Language: | English |
Number of pages: | x, 388 |
Weight: | 558g |
Height: | 235mm |
Width: | 155mm |
Spine width: | 21mm |