
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783031321573
- Date de parution :2 mai 2023
- Éditeur :Springer Nature Switzerland
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :15.60 MB
- Options de téléchargement :EPUB3 (Adobe DRM)

































































































