Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 004 Bjo f |
| Collection Type | Buku |
| Title | Formal specification and software development/ Dines Bjorner |
| Author | Bjorner, Dines; |
| Publisher | Englewood Cliffs: New Jersey, 25 cm. |
| Subject | Electronic digital computers-programming |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 004 Bjo f | 84/3905 | TERSEDIA |