Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Автор:
Bernd Finkbeiner, Thomas Wies
Наличност:
Външен склад
Изпращаме след 5-8 дни
94.82
€
185.44 лв
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch...
