
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783031986796
- Date de parution :22 juil. 2025
- Éditeur :Springer Nature Switzerland
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :36.59 MB
- Options de téléchargement :EPUB3 (Adobe DRM)




