Pastāsti draugiem par šo preci:
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III - Lecture Notes in Computer Science 2024 edition
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III - 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 | 9783031656323 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 582 |
| Izmēri | 150 × 220 × 10 mm · 843 g |
| Valoda | Vācu |
| Redaktors | Ganesh, Vijay |
| Redaktors | Gurfinkel, Arie |