Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21,2020, Proceedings, Lecture Notes in Computer Science 11990 - Theoretical Computer Science and General Issues
| ISBN/EAN: | 9783030393212 |
|---|---|
| Sprache: | Englisch |
| Umfang: | xiv, 471 S., 918 s/w Illustr., 63 farbige Illustr. |
| Einband: | kartoniertes Buch |
Erschienen am
07.02.2020
