Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.3 Bak m |
| Collection Type | Buku |
| Title | Mathematical theory of program correctness/ Jaco de Bakker |
| Author | Baker, Jaco de; |
| Publisher | Singapore: Prentice Hall, 1980 |
| Subject | Computer programs-Testing; Logic, symbolic and mathematical |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.3 Bak m | 86/4633a | TERSEDIA |
| 005.3 Bak m | 86/4633 | TERSEDIA |