
Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Synopse
O knize
- Jazyk:English
- ISBN:9783319941110
- Datum vydání:7. 8. 2018
- Vydavatel:Springer International Publishing
- Tiráž:Springer
- Formát souboru:EPUB2
- Velikost souboru:5.62 MB
- Možnosti stahování:EPUB2 (Adobe DRM)

