
Model Checking Software
27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783030846299
- Date de parution :19 août 2021
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :14.74 MB
- Options de téléchargement :EPUB3 (Adobe DRM)
































































































