Detail Pustaka

COMPUTER AIDED VERIFICATION :34TH INTERNATIONAL CONFERENCE, CAV 2022 HAIFA, ISRAEL, AUGUST 7–10, 2022 PROCEEDINGS, PART I

Penulis

Sharon Shoham, Yakir Vizel

Kategori teknik informatika ,
Kata kunci aided , computer , verification ,
Penerbit Springer
Tahun 2022-10-11
Bahasa inggris
Jenis buku
Halaman 563 Halaman
Hak Cipta Sharon Shoham, Yakir Vizel
ISBN 978-3-031-13185-1
Hak Akses open_akses