
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783031656279
- Udgivelsesdato:26. jul. 2024
- Udgiver:Springer Nature Switzerland
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:40.97 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)







