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




