DaftarIsitemplate |
Call Number |
519.7 Man d |
Title |
The deductive foundation of computer programming |
Author |
Manna, Zohar; |
Publisher |
Reading,Mass Addison-Wesley 1993 |
Subject |
Electronic digital computers-programming; Logic, symbolic and mathematical |
Location |
FASILKOM-UI; |