>> Google Books

Computational category theory

フォーマット:
図書
責任表示:
David E. Rydeheard, Rod M. Burstall
言語:
英語
出版情報:
New York ; Tokyo : Prentice Hall, 1988
形態:
xiv, 257 p. ; 24 cm
著者名:
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
書誌ID:
BA06577070
ISBN:
9780131627369 [0131627368]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Category theory and computer science : Edinburgh, U.K., September 7-9, 1987, proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.), Poigné, A., Rydeheard, D. E. (David E.)

Springer-Verlag
7 図書 A recursive introduction to the theory of computation

Smith, Carl, 1950-

Springer-Verlag
2 図書 Categories and computer science

Walters, Richard F.

Cambridge University Press
8 図書 Software and its development

Fox, Joseph M., 1934-

Prentice-Hall
3 図書 Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T

Springer
9 図書 Programs and machines : an introduction to the theory of computation

Bird, R. J. (Richard J.)

Wiley
4 図書 Programming in POP-2

Burstall, Rod M., 1934-, Collins, John Stuart, Popplestone, R. J.

Edinburgh University Press
10 図書 Applied computation theory : analysis, design, modeling

Yeh, Raymond Tzuu-Yau, 1937-

Prentice-Hall
5 図書 Advanced programming : a practical course

Barron, D. W. (David William), 1935-, Bishop, J. M. (Judith Mary), 1951-

Wiley
11 図書 Recursive techniques in programming

Barron, D. W. (David William), 1935-

Macdonald
6 図書 Mathematical theory of computation

Manna, Zohar

McGraw-Hill
12 図書 Recursive techniques in programming

Barron, D. W. (David William), 1935-

Macdonald and Jane's [etc.]