Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Koleksi

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
23.21.614 - Alexandra Silva, K. Rustan M. Leino
23.21.614-1
Tersedia
03 April 2023

Informasi Koleksi

31
Beli
Telkom University Open Library
 
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5