Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
de Chao Wang, Shuvendu K. Lahiri
Gratuit
- Langue
- Anglais
- Parution
- 2020
- Éditeur
- Springer Nature
- Pages
- 683
- ISBN
- 9783030532918
Thèmes
Édition originale
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part IParu pour la première fois en 2020 Anglais Springer International Publishing
Autres éditions (3)
- Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
- Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
- Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Ouverture de la liseuse…
Aucun avis pour l’instant. À toi d’ouvrir le bal !