Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21

Detail Cantuman Kembali

XML

Pernyataan Tanggungjawab

Pengarang

Lahiri, Shuvendu K - Personal Name
Wang, Chao - Personal Name

Edisi

No. Panggil

Tahun

Subyek

Klasifikasi

NONE

Judul Seri

Category

Prodi S1 Teknik Informatika

Bahasa

ENGLISH

Penerbit

Springer Nature

Tahun Terbit

2020

Tempat Terbit

Deskripsi Fisik

Info Detil Spesifik

https://library.oapen.org/handle/20.500.12657/41295

Lampiran Berkas

LOADING LIST...

Ketersediaan

LOADING LIST...