Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 004 Int c
Collection Type Buku
Title Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg
Author International Conference, CAV'97;
Publisher Berlin Springer 1997
Subject Computer science
Location FASILKOM-UI;
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004 Int c 99/8299 TERSEDIA
Tidak ada review pada koleksi ini: 2403
Tidak ada abstrak pada koleksi ini