
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783030255404
- Date de parution :23 févr. 2022
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :39.61 MB
- Options de téléchargement :EPUB3 (Adobe DRM)
