Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.273 Cha d |
| Collection Type | Buku |
| Title | Duration calculus: a formal appproach to real-time systems |
| Author | Chaochen, Zhou; |
| Publisher | Berlin: Springer Verlag, 2004 |
| Subject | Real-time data processing; Formal methods (Computer science) ; Mathematics-Data processing |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.273 Cha d | 05/10706 | TERSEDIA |
| 005.273 Cha d | 05/10706 A ( Fotokopi ) | TERSEDIA |