
Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783030309237
- Date de parution :2 oct. 2019
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :12.90 MB
- Options de téléchargement :EPUB3 (Adobe DRM)





