Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
par ,
- Langue
- Anglais
- Publié en
- Maison d'édition
- Springer International Publishing
- Pages
- 669
- ISBN
- 9783030532871
Thèmes
Infos sur l'édition originale
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Paru initialement en 2020
Langue d'origine
Anglais
Éditeur d'origine Springer International Publishing
Autres éditions (3)
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
2020 • Springer International Publishing
Anglais
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
2020 • Springer Nature
Anglais
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
2020 • Springer Nature
Anglais