Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.131 Mon u |
| Collection Type | Buku |
| Title | Understanding formal methods |
| Author | Monin, Jean-Francois; |
| Publisher | London: Springer-Verlag, 2003 |
| Subject | Formal methods (Computer science) |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.131 Mon u | 03/10140 (Asli) | TERSEDIA |
| 005.131 Mon u | 12/12077 (Fotokopi) | TERSEDIA |
| 005.131 Mon u | 12/12077 A (Fotokopi) | TERSEDIA |
| 005.131 Mon u | 12/12077 B (Fotokopi) | TERSEDIA |