Pastāsti draugiem par šo preci:
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings - Lecture Notes in Computer Science
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.
604 pages, 108 Illustrations, color; 104 Illustrations, black and white; XV, 604 p. 212 illus., 108
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2021. gada 12. janvāris |
| ISBN13 | 9783030670665 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 604 |
| Izmēri | 150 × 220 × 10 mm · 937 g |
| Valoda | Vācu |
| Redaktors | Henglein, Fritz |
| Redaktors | Shoham, Sharon |
| Redaktors | Vizel, Yakir |