
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783319633879
- Date de parution :14 juil. 2017
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB2
- Taille de fichier :10.55 MB
- Options de téléchargement :EPUB2 (Adobe DRM)





















































