
Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783031131851
- Date de parution :17 nov. 2022
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :37.92 MB
- Options de téléchargement :EPUB3 (Adobe DRM)

