عنوان
پدید آورنده
موضوع
رده
QA،76.6،.M35595،1985
QA
،
76
.
6
،.
M35595
،
1985
کتابخانه
محل استقرار
English Book
The logical basis for computer programming
Zohar Manna, Richard Waldinger
Addison-Wesley
c1985-c1990
2 v. : ill. ; 25 cm.
Includes bibliographies and indexes
Electronic digital computers--Programming
Logic, Symbolic and mathematical
QA
76
.
6
.
M35595
1985
Manna, Zohar
Waldinger, Richard
