Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-042 |
| Collection Type | Prosiding Seminar |
| Title | Continuing education center ASIAN Institute of technology 6-16 December 1988 verification of concurrent programs: the temporal framework 6-16 December, 1988/ Zohar Manna; Amir Pnuel I |
| Author | |
| Publisher | Bangkok: Third Asian School on Computer Science |
| Subject | |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| SEM-042 | 7/12/88 | TERSEDIA |