| 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 |