عنوان
پدید آورنده
موضوع
رده
QA 9 .B36
QA
9
.
B36
کتابخانه
محل استقرار
Mathematical foundations of programming
Reading, MA
Addison-Wesley
1980
xviii, 443 p. : ill
The Systems programming series
Includes bibliographical references and index
Frank S. Beckman
، Logic, Symbolic and mathematical
، Machine theory
، Formal languages
QA
9
.
B36
NO
Beckman, Frank S.
AU
TI
