Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
Specificaties
| ISBN/EAN | 9783030393212 |
| Auteur | Dirk Beyer |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 471 |
| Lengte | |
| Breedte |