Detail Pustaka

COMPUTER AIDED VERIFICATION : 33RD INTERNATIONAL CONFERENCE, CAV 2021 VIRTUAL EVENT, JULY 20–23, 2021 PROCEEDINGS, PART I

Penulis

Alexandra Silva, K. Rustan M. Leino

Kategori kategori umum , teknik informatika ,
Kata kunci aided , computer , verification ,
Penerbit Springer
Tahun 2021-06-29
Bahasa inggris
Jenis buku
Halaman 939 Halaman
Hak Cipta Alexandra Silva, K. Rustan M. Leino
ISBN 978-3-030-81685-8
Hak Akses open_akses