Pastāsti draugiem par šo preci:
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Lecture Notes in Computer Science 1st ed. 2018 edition
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Lecture Notes in Computer Science
540 pages, 103 Illustrations, black and white; XVIII, 540 p. 103 illus.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2018. gada 10. janvāris |
| ISBN13 | 9783319737201 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 540 |
| Izmēri | 243 × 250 × 35 mm · 872 g |
| Valoda | Vācu |
| Redaktors | Dillig, Isil |
| Redaktors | Palsberg, Jens |