>> Google Books
所蔵情報QRコード

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten

資料種別:
図書
出版情報:
New York ; Tokyo : Springer-Verlag, c1990
形態:
x, 220 p. ; 25 cm
シリーズ名:
Texts and monographs in computer science <BA00039349>
著者名:
ISBN:
9780387969572 [0387969578] (: us)
9783540969570 [3540969578] (: gw)
書誌ID:
BA07837224
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Predicate Calculus and Program Semantics

Dijkstra, Dijkstra, Edsger W., Scholten, Carel S.

SpringerLink Books - AutoHoldings, Springer New York
7 図書 プログラミング原論 : いかにしてプログラムをつくるか

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

サイエンス社
2 図書 A discipline of programming

Dijkstra, Edsger Wybe, 1930-

Prentice-Hall
8 図書 Programming language syntax and semantics (: pbk)

Watt, David Anthony, 1946-, Thomas, Muffy

Prentice Hall
3 図書 A primer of ALGOL 60 programming

Dijkstra, Edsger Wybe, 1930-

the Automatic Programming Information Centre, by Academic Press
9 図書 A theory of programming language semantics (Pt. A ; Pt. B)

Milne, Robert, 1948-, Strachey, Christopher

Chapman and Hall, Wiley : Distributed in the U.S.A. by Halsted Press
4 図書 Selected writings on computing : a personal perspective (: us ; : gw ; : pbk.)

Dijkstra, Edsger Wybe, 1930-

Springer-Verlag
10 図書 Journal on data semantics V

Spaccapietra, S.

Springer
5 図書 Two papers on the predicate calculus

Kleene, Stephen Cole, 1909-

American Mathematical Society
11 図書 The formal semantics of programming languages : an introduction (: pbk)

Winskel, Glynn

MIT Press
6 図書 Structured programming

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

Academic Press
12 図書 Journal on data semantics VI : special issue on emergent semantics

Spaccapietra, S., Aberer, Karl, Cudré-Mauroux, Philippe

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12