Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.1 Pot i |
| Collection Type | Buku |
| Title | An introduction to formal specicifation and Z /Ben Potter |
| Author | Potter, Ben; |
| Publisher | New York Prentince-Hall 1991 |
| Subject | Software engineering |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.1 Pot i | 94/6986A | TERSEDIA |
| 005.1 Pot i | 94/6986 | TERSEDIA |