>> Google Books

A discipline of programming

フォーマット:
図書
責任表示:
Edsger W. Dijkstra
言語:
英語
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1976
形態:
xvii, 217 p. ; 24 cm
著者名:
Dijkstra, Edsger Wybe, 1930- <DA00645414>  
シリーズ名:
Prentice-Hall series in automatic computation <BA00041522>
書誌ID:
BA01130843
ISBN:
9780132158718 [013215871X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal development of programs and proofs

Dijkstra, Edsger Wybe, 1930-

Addison-Wesley
7 図書 A primer of ALGOL 60 programming

Dijkstra, Edzger Wybe

the Automatic Programming Information Centre, by Academic Press
2 図書 Predicate calculus and program semantics

Dijkstra, Edsger Wybe, 1930-, Scholten, Carel S.

Springer-Verlag
8 図書 プログラミングの方法 : 論理学を用いた正しいプログラムの作り方

Dijkstra, Edsger Wybe, 1930-, Feijen, W. H. J., 玉井, 浩

サイエンス社
3 図書 Selected writings on computing : a personal perspective

Dijkstra, Edsger Wybe, 1930-

Springer-Verlag
9 図書 Artificial intelligence and heuristic programming

Findler, N. V. (Nicholas V.), 1930-, Meltzer, Bernard, 1916-, NATO Advanced Study Institute on Artificial Intelligence &hellip;

Edinburgh University Press
4 図書 Structured programming

Dahl, Ole-Johan, 1931-, Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934ー

Academic Press
10 図書 構造化プログラミング

Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Dahl, Ole-Johan, 1931-, 野下, &hellip;

サイエンス社
5 図書 On the shape of mathematical arguments

Gasteren, Antonetta J. M. van, 1952-, Dijkstra, Edsger Wybe, 1930-

Springer-Verlag
11 図書 The craft of programming

Reynolds, John C., 1935-

Prentice/Hall International
6 図書 プログラミング原論 : いかにしてプログラムをつくるか

Dijkstra, Edsger Wybe, 1930-, 浦, 昭二(1927-)

サイエンス社
12 図書 Systems programming

Donovan, John J

McGraw-Hill