Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20

Detail Cantuman Kembali

XML

Pernyataan Tanggungjawab

Pengarang

Edisi

No. Panggil

Tahun

Subyek

Klasifikasi

NONE

Judul Seri

Category

Prodi S1 Teknik Informatika

Bahasa

ENGLISH

Penerbit

Springer Nature

Tahun Terbit

2021

Tempat Terbit

Deskripsi Fisik

Info Detil Spesifik

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

Lampiran Berkas

LOADING LIST...

Ketersediaan

LOADING LIST...