
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Tiivistelmä
Tietoa tästä kirjasta
- Kieli:English
- ISBN:9783031986796
- Julkaisupäivä:22.7.2025
- Julkaisija:Springer Nature Switzerland
- Julkaisutiedot:Springer
- Tiedostomuoto:EPUB3
- Tiedostokoko:36.59 MB
- Latausvaihtoehdot:EPUB3 (Adobe DRM)




