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


