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;