
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
Synopse
O knize
- Jazyk:English
- ISBN:9783031321573
- Datum vydání:2. 5. 2023
- Vydavatel:Springer Nature Switzerland
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:15.60 MB
- Možnosti stahování:EPUB3 (Adobe DRM)

































































































