Pastāsti draugiem par šo preci:
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I - Lecture Notes in Computer Science 2024 edition
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I - Lecture Notes in Computer Science
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2024. gada 26. jūlijs |
| ISBN13 | 9783031656262 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 498 |
| Izmēri | 150 × 220 × 10 mm · 797 g |
| Valoda | Vācu |
| Redaktors | Ganesh, Vijay |
| Redaktors | Gurfinkel, Arie |