| 000 | 00968pamuu2200301 a 4500 | |
| 001 | 000045407985 | |
| 005 | 20071213141221 | |
| 008 | 840829s1985 nyua b 001 0 eng | |
| 010 | ▼a 84020233 | |
| 020 | ▼a 0387961151 | |
| 020 | ▼a 3540961151 | |
| 035 | ▼a (KERIS)REF000014071757 | |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 050 | 0 0 | ▼a QA169 ▼b .B346 1985 |
| 082 | 0 0 | ▼a 512/.55 ▼2 22 |
| 090 | ▼a 512.55 ▼b B268t | |
| 100 | 1 | ▼a Barr, Michael. |
| 245 | 1 0 | ▼a Toposes, triples, and theories / ▼c Michael Barr, Charles Wells. |
| 260 | ▼a New York : ▼b Springer-Verlag , ▼c c1985. | |
| 300 | ▼a xiii, 345 p. : ▼b ill. ; ▼c 25 cm. | |
| 440 | 0 | ▼a Grundlehren der mathematischen Wissenschaften ; ▼v 278 |
| 504 | ▼a Includes bibliographical references (p. 333-338) and index. | |
| 650 | 0 | ▼a Categories (Mathematics) |
| 650 | 0 | ▼a Toposes. |
| 650 | 0 | ▼a Triples, Theory of. |
| 700 | 1 | ▼a Wells, Charles. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고7층/ | 청구기호 512.55 B268t | 등록번호 412614531 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
저자소개
마이클 바(지은이)
임베디드 시스템 소프트웨어 엔지니어링 서비스와 쉐어웨어를 제공하는 네트리노(Netrino)사의 창설자이며 회장이다. 메릴랜드(Maryland) 대학교에서 전자 공학을 전공했고 학사와 석사 학위를 받았다. 주로 임베디드 소프트웨어, 디바이스 드라이버, 실시간 오퍼레이팅 시스템의 개발과 관련된 업무를 수행하였다. 지은 책으로 <Programming Embedded Systems in C and C++> 등이 있다.
Charles Wells(지은이)
