Detail Pustaka

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

Penulis

Constantin Enea, Akash Lal

Kategori kategori umum , teknik informatika ,
Kata kunci aided , computer ,
Penerbit Springer
Tahun 2023-07-11
Bahasa inggris
Jenis buku
Halaman 513 Halaman
Hak Cipta Constantin Enea, Akash Lal
ISBN 978-3-031-37709-9
Hak Akses open_akses