Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Prodi S1 Teknik Informatika

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Silva, Alexandra - Nama Orang; Leino, K. Rustan M. - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Electronic Resource Belum memasukkan lokasi

EP9783030816858

Tersedia

Informasi Detail

Judul Seri: -
No. Panggil: -
Penerbit: : Springer Nature., 2021
Deskripsi Fisik: -
Bahasa: ENGLISH
ISBN/ISSN: 9783030816858
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/50428
Pernyataan Tanggungjawab: -

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

LINK

Komentar

Anda harus masuk sebelum memberikan komentar