| 000 | 01138camuu2200325 a 4500 | |
| 001 | 000045686651 | |
| 005 | 20120117145231 | |
| 008 | 120116r20111989nyu b 001 0 eng d | |
| 010 | ▼a 2010031017 | |
| 020 | ▼a 9780486478838 (pbk.) | |
| 020 | ▼a 0486478831 (pbk.) | |
| 035 | ▼a (OCoLC)ocn630478012 | |
| 040 | ▼a DLC ▼c DLC ▼d YDX ▼d BTCTA ▼d YDXCP ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.6 ▼b .M4854 2011 |
| 082 | 0 0 | ▼a 005.1/14 ▼2 22 |
| 084 | ▼a 005.114 ▼2 DDCK | |
| 090 | ▼a 005.114 ▼b M621ia | |
| 100 | 1 | ▼a Michaelson, Greg, ▼d 1953-. |
| 245 | 1 3 | ▼a An introduction to functional programming through Lambda calculus / ▼c Greg Michaelson. |
| 250 | ▼a Dover ed. | |
| 260 | ▼a Mineola, N.Y. : ▼b Dover Publications, ▼c c2011. | |
| 300 | ▼a xv, 320 p. ; ▼c 24 cm. | |
| 490 | 1 | ▼a Dover books on mathematics |
| 500 | ▼a Originally published: Workingham, England : Addison-Wesley, 1989. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Functional programming (Computer science) |
| 650 | 0 | ▼a Lambda calculus. |
| 830 | 0 | ▼a Dover books on mathematics. |
| 945 | ▼a KLPA |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.114 M621ia | 등록번호 121216404 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |