Blank Cover Image
所蔵情報QRコード

Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson

資料種別:
図書
出版情報:
Englewood Cliffs, N.J. : Prentice Hall International, c1985
形態:
184 p. ; 25 cm
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
著者名:
ISBN:
9780135614655 [0135614651]
書誌ID:
BA00149176
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Bazilevskiĭ, I︠U︡. I︠A︡. (I︠U︡riĭ I︠A︡kovlevich), Hoare, C. A. R. (Charles Antony Richard), 1934-, Jackson, J. M.

Pergamon Press

VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-

Springer-Verlag

Hoare, C. A. R. (Charles Antony Richard), 1934-

Prentice-Hall International

International Seminar on Operating Systems Techniques, Hoare, C. A. R. (Charles Antony Richard), 1934-, Perrott, Ronald …

Academic Press

Hoare, C. A. R. (Charles Antony Richard), 1934-

Addison-Wesley Pub. Co.

Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., 1957-, Jones, Cliff B., 1944-, Sanders, Jeff W., Hoare, …

Springer

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

Academic Press

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

サイエンス社

Royal Society (Great Britain). Discussion Meeting, Elliott, R. J. (Roger J.), 1928-, Hoare, C. A. R. (Charles Antony …

Prentice Hall

Abrial, J. R., Chapron, Pierre, Hoare, A.

Cambridge University Press Online Books, Cambridge University Press

吉田, 信博, Hoare, C. A. R. (Charles Antony Richard), 1934-

丸善

Hehner, Eric C. R.

Prentice/Hall International

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