Pastāsti draugiem par šo preci:
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2022 edition
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I - Lecture Notes in Computer Science
555 pages, 110 Illustrations, color; 288 Illustrations, black and white; XIX, 555 p. 398 illus., 110
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2022. gada 8. augusts |
| ISBN13 | 9783031131844 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 555 |
| Izmēri | 150 × 220 × 10 mm · 872 g |
| Valoda | Vācu |
| Redaktors | Shoham, Sharon |
| Redaktors | Vizel, Yakir |