Pastāsti draugiem par šo preci:
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III - Lecture Notes in Computer Science
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, 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 | 2025. gada 23. jūlijs |
| ISBN13 | 9783031986819 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 428 |
| Izmēri | 236 × 155 × 27 mm · 680 g |
| Valoda | Vācu |
| Redaktors | Piskac, Ruzica |
| Redaktors | Rakamaric, Zvonimir |