
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Synopse
O knize
- Jazyk:English
- ISBN:9783031986796
- Datum vydání:8. 7. 2026
- Vydavatel:Springer Nature Switzerland
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:41.87 MB
- Možnosti stahování:EPUB3 (Adobe DRM)



