Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Prodi S1 Teknik Informatika

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Lahiri, Shuvendu K - Nama Orang; Wang, Chao - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Electronic Resource Belum memasukkan lokasi

EP978-3-030-53291-8

Tersedia

Informasi Detail

Judul Seri: -
No. Panggil: -
Penerbit: : Springer Nature., 2020
Deskripsi Fisik: -
Bahasa: ENGLISH
ISBN/ISSN: 978-3-030-53291-8
Klasifikasi: NONE
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: SOFTWARE ENGINEERING
ARTIFICIAL INTELLIGENCE
Info Detail Spesifik: https://library.oapen.org/handle/20.500.12657/41296
Pernyataan Tanggungjawab: -

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

LINK

Komentar

Anda harus masuk sebelum memberikan komentar