NCID | BA0038364X |
タイトル | Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt ... [et al.] |
出版者 | Berlin ; Tokyo : Springer-Verlag , c1986 |
形態 | vii, 519 p. : ill. ; 25 cm |
注記 | Includes bibliographical references |
シリーズ名 | Lecture notes in computer science ; 240
|
分類 | LCC:QA76.6 DC19:005.1 NDC8:411.8 NDC8:007.64 |
件名 | LCSH:Electronicdigitalcomputers -- Programming
LCSH:Categories(Mathematics)
NDLSH:プログラミング(電子計算機)
NDLSH:カテゴリー(数学)
|
著者情報 | Tutorial and Workshop on Category Theory and Computer Programming Pitt, David (David H.)
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | ドイツ = ドイツ連邦共和国 |
ISBN | 3540171622(: gw) 0387171622(: us)
|
番号 | LCCN : 86026077 |