
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783031656309
- Date de parution :25 juil. 2024
- Éditeur :Springer Nature Switzerland
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :32.19 MB
- Options de téléchargement :EPUB3 (Adobe DRM)





