Lectures on the logic of computer programming
Author(s)
Bibliographic Information
Lectures on the logic of computer programming
（CBMS-NSF regional conference series in applied mathematics, 31）
Society for Industrial and Applied Mathematics, 1980
Available at / 23 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
MAN||13||4||複本2671552
-
Research Institute for Economics & Business Administration (RIEB) Library , Kobe University図書
621.34-507s081000079949*
-
University of Tsukuba Library, Library on Library and Information Science
007.64:Ma-45831025350
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
Dc19:001.642/M3152021070970
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 49