Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.14 Loe f |
| Collection Type | Buku |
| Title | The foundations of program verification 2nd ed/ Jacques Loeckx and Kurt Sieber |
| Author | Loeckx, Jacques; |
| Publisher | Wiley - Teubner Series in Computer Science, 1984 |
| Subject | Computer program-verification |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.14 Loe f | 88/5574 | TERSEDIA |
| 005.14 Loe f | 85/4478 | TERSEDIA |