
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783031377068
- Udgivelsesdato:6. jan. 2024
- Udgiver:Springer Nature Switzerland
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:42.10 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)




