
Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Synopsis
Om den här boken
- Språk:English
- ISBN:9783031661495
- Utgivningsdatum:13 okt. 2024
- Utgivare:Springer Nature Switzerland
- Impressum:Springer
- Filformat:EPUB3
- Filstorlek:22.74 MB
- Nedladdningsalternativ:EPUB3 (Adobe DRM)
































































































