| 000 | 01033namuu2200301 a 4500 | |
| 001 | 000045340485 | |
| 005 | 20080717105848 | |
| 008 | 070406r20061992enka b 001 0 eng d | |
| 015 | ▼a GB93-13465 | |
| 020 | ▼a 9780521419970 (cased) | |
| 020 | ▼a 0521419972 (cased) | |
| 020 | ▼a 9780521422260 (pbk) | |
| 020 | ▼a 0521422264 (pbk) | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 1 4 | ▼a QA169 ▼b .W35 1991b |
| 082 | 0 4 | ▼a 512.62 ▼2 22 |
| 090 | ▼a 512.62 ▼b W235c | |
| 100 | 1 | ▼a Walters, R. F. C. |
| 245 | 1 0 | ▼a Categories and computer science / ▼c R.F.C. Walters. |
| 260 | ▼a Cambridge : ▼b Cambridge University Press , ▼c 2006, c1992. | |
| 300 | ▼a x, 166 p. : ▼b ill. ; ▼c 24 cm. | |
| 490 | 0 | ▼a Cambridge computer science texts ; ▼v 28 |
| 500 | ▼a First Cambridge University Press edition 1992. | |
| 504 | ▼a Includes bibliographical references (p. [161]-162) and index. | |
| 650 | 0 | ▼a Categories (Mathematics) ▼x Data processing. |
| 650 | 0 | ▼a Computer programming. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 512.62 W235c | 등록번호 121144441 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
Introduction; 1. The algebra of functions; 2. Products and sums; 3. Distributive categories; 4. Data types; 5. Categories of functors; 6. More about products; 7. Computational category theory; References; Index.
정보제공 :
