
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783031986857
- Udgivelsesdato:21. jul. 2026
- Udgiver:Springer Nature Switzerland
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:38.90 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)

































































































