
Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783032325372
- Date de parution :23 juil. 2026
- Éditeur :Springer Nature Switzerland
- Marque éditoriale :Springer
- Format de fichier :EPUB3
- Taille de fichier :69.50 MB
- Options de téléchargement :EPUB3 (Adobe DRM)



