
Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Synopse
O knize
- Jazyk:English
- ISBN:9783031150777
- Datum vydání:3. 12. 2022
- Vydavatel:Springer International Publishing
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:12.39 MB
- Možnosti stahování:EPUB3 (Adobe DRM)






























































































