Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
635,-
Paperback
Sendes innen 21 dager
Logg inn for å se din bonus
Detaljer
- Forlag
- Springer International Publishing AG
- Innbinding
- Paperback
- Språk
- Engelsk
- Sider
- 549
- ISBN
- 9783031131875
- Utgivelsesår
- 2022
- Format
- 24 x 16 cm