
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783032325372
- Udgivelsesdato:24. jul. 2026
- Udgiver:Springer Nature Switzerland
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:69.50 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)

