
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783031301674
- Udgivelsesdato:24. jul. 2023
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:37.68 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)























































































