
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Rezumat
Despre această carte
- Limbă:English
- ISBN:9783031301674
- Data lansării:24 iul. 2023
- Editura:Springer International Publishing
- Casetă tehnică:Springer
- Formatul fișierului:EPUB3
- Dimensiunea fișierului:37.68 MB
- Opțiuni de descărcare:EPUB3 (Adobe DRM)























































































