The theory of computer science : a programming approach
著者
書誌事項
The theory of computer science : a programming approach
(Science paperbacks, SP130)
Chapman and Hall, 1977
並立書誌 全1件
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 272-280
内容説明・目次
目次
Part One: Meta computer science. The abstract machine approach. The limitations of computer science. The functional or programming approach. Evidence in support of Turing's thesis. Part Two: Towards a science of computation. McCarthy's pioneering studies. Making programs reliable. Questions of meaning.
「Nielsen BookData」 より