Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 004.33 Old r |
| Collection Type | Buku |
| Title | Real-time systems: formal specification and automatic verification |
| Author | Olderog, E.R; |
| Publisher | Camridge, UK : New York : Camridge University Press, 2008 |
| Subject | Real-time data processing |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 004.33 Old r | 11/11956 (Asli) | TERSEDIA |