Detail Pustaka

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

Penulis

Constantin Enea · Akash Lal

Kategori kategori umum , teknik informatika ,
Kata kunci aided , computer , verification ,
Penerbit Springer
Tahun 2023-02-07
Bahasa inggris
Jenis buku
Halaman 473 Halaman
Hak Cipta Constantin Enea · Akash Lal
ISBN 978-3-031-37703-7
Hak Akses open_akses