Z Notation : Zermelo-Fraenkel Set Theory, Programming research group, aziomatic set theory, lambda calculus, first-order predicate logic
| 000 | 00901namuu2200241 a 4500 | |
| 001 | 000045632007 | |
| 005 | 20110223164824 | |
| 008 | 110223s2010 nyua 0 0 eng c | |
| 020 | ▼a 6131182051 | |
| 020 | ▼a 9786131182051 | |
| 040 | ▼a 244002 ▼c 244002 ▼d 244002 | |
| 082 | 0 4 | ▼a 005.133 ▼2 22 |
| 084 | ▼a 005.133 ▼2 DDCK | |
| 090 | ▼a 005.133 ▼b Z99 | |
| 245 | 0 0 | ▼a Z Notation : ▼b Zermelo-Fraenkel Set Theory, Programming research group, aziomatic set theory, lambda calculus, first-order predicate logic / ▼c Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow. |
| 260 | ▼a New York, N.Y. : ▼b Betascript Publishing, ▼c 2010. | |
| 300 | ▼a 108 p : ▼b ill. ; ▼c 23 cm. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Z (Computer program language) |
| 700 | 1 | ▼a Surhone, Lambert M. |
| 700 | 1 | ▼a Tennoe, Mariam T. |
| 700 | 1 | ▼a Henssonow, Susan F. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 005.133 Z99 | 등록번호 151296798 (3회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |