Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Tipe Koleksi Indeks Artikel Jurnal
Nama Jurnal ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY
Volume [9(2000): 4]
Judul Artikel A Compiler for Analyzing Cryptograohic Protocols Using Noninterference, page 488-528
Penulis Antonio Durante, [et all]
Penerbit Jurnal New York: The Association for Computing Machinery
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
TERSEDIA
Tidak ada review pada koleksi ini: 13423
Tidak ada abstrak pada koleksi ini