
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
Tiivistelmä
Tietoa tästä kirjasta
- Kieli:English
- ISBN:9783031377037
- Julkaisupäivä:27.8.2023
- Julkaisija:Springer Nature Switzerland
- Julkaisutiedot:Springer
- Tiedostomuoto:EPUB3
- Tiedostokoko:42.94 MB
- Latausvaihtoehdot:EPUB3 (Adobe DRM)



