Detail Pustaka

COMPUTER AIDED VERIFICATION 35TH INTERNATIONAL CONFERENCE, CAV 2023 PARIS, FRANCE, JULY 17–22, 2023 PROCEEDINGS, PART I

Penulis

Constantin Enea, Akash Lal

Kategori kategori umum , teknik informatika ,
Kata kunci aided , computer , verification ,
Penerbit Springer
Tahun 2023-10-11
Bahasa inggris
Jenis buku
Halaman 512 Halaman
Hak Cipta Constantin Enea, Akash Lal
ISBN 978-3-031-37706-8
Hak Akses open_akses