
Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783032068477
- Date de parution :2 nov. 2025
- Éditeur :Springer Nature Switzerland
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :15.17 MB
- Options de téléchargement :EPUB3 (Adobe DRM)























































