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 |