Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number Pub.Staf PN-0005
Collection Type Indeks Artikel Prosiding Nasio
Title Verifikasi concurrent system dengan model checker SMV
Author Azurat, Ade ; Widjaja, Belawati
Publisher
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
Pub.Staf PN-0005 TERSEDIA
Tidak ada review pada koleksi ini: 21597
Tidak ada abstrak pada koleksi ini