Home
Search
Katalog & Koleksi
Katalog
Informasi
Akses Eikon Refinitiv
Tata Cara Approval Laporan Magang & KP
Tata Cara Upload Laporan Magang & KP
Fitur Mobile App: Layanan Book Delivery
Pemilihan Jurnal untuk Publikasi Ilmiah
Peraturan Tel-U Open Library
Sumber Daya Informasi Pendukung Kegiatan Penelitian
Surat Bebas Kewajiban Perpustakaan (SBKP)
Layanan Assistive Technology
Fasilitas Cek Similarity, iThenticate dan Turnitin
Tentang Kami
Tahun Terbit
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Koleksi
Katalog
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
23.21.614 - Alexandra Silva, K. Rustan M. Leino
Barcode
23.21.614-1
Kondisi
Tersedia
Tanggal masuk
03 April 2023
Informasi Koleksi
Unit
31
Asal penerimaan
Beli
Pemasok
Telkom University Open Library
Harga pembelian
Jenis katalog
Buku - Elektronik (E-Book)
Lokasi
Tel-U Gedung Manterawu Lantai 5
Kembali