
Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783031377068
- Date de parution :6 janv. 2024
- Éditeur :Springer Nature Switzerland
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :42.10 MB
- Options de téléchargement :EPUB3 (Adobe DRM)




