
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Sammendrag
Om denne boken
- Språk:English
- ISBN:9783031301674
- Utgivelsesdato:24. juli 2023
- Forlag:Springer International Publishing
- Trykk:Springer
- Filformat:EPUB3
- Filstørrelse:37.68 MB
- Nedlastingsalternativer:EPUB3 (Adobe DRM)























































































