
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Tiivistelmä
Tietoa tästä kirjasta
- Kieli:English
- ISBN:9783031656309
- Julkaisupäivä:25.7.2024
- Julkaisija:Springer Nature Switzerland
- Julkaisutiedot:Springer
- Tiedostomuoto:EPUB3
- Tiedostokoko:32.19 MB
- Latausvaihtoehdot:EPUB3 (Adobe DRM)





