HOME > 상세정보

상세정보

Foundations of computing : system development with set theory and logic

Foundations of computing : system development with set theory and logic (1회 대출)

자료유형
단행본
개인저자
Scheurer, Thierry.
서명 / 저자사항
Foundations of computing : system development with set theory and logic / Thierry Scheurer.
발행사항
Wokingham, England ;   Reading, Mass. :   Addison-Wesley,   c1994.  
형태사항
xxiv, 668 p. : ill. ; 24 cm.
총서사항
International computer science series.
ISBN
0201544296
서지주기
Includes bibliographical references (p. 647-648) and index.
일반주제명
System design. Set theory. Logic, Symbolic and mathematical.
000 00871camuuu200265 a 4500
001 000000241908
005 19980526164008.0
008 940411s1994 enka b 001 0 eng
010 ▼a 94016315
020 ▼a 0201544296
040 ▼a DLC ▼c DLC
049 1 ▼l 121015895 ▼f 과학
050 0 0 ▼a QA76.9.S88 ▼b S29 1994
082 0 0 ▼a 004.2/1 ▼2 20
090 ▼a 004.21 ▼b S328f
100 1 ▼a Scheurer, Thierry.
245 1 0 ▼a Foundations of computing : ▼b system development with set theory and logic / ▼c Thierry Scheurer.
260 ▼a Wokingham, England ; ▼a Reading, Mass. : ▼b Addison-Wesley, ▼c c1994.
300 ▼a xxiv, 668 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a International computer science series.
504 ▼a Includes bibliographical references (p. 647-648) and index.
650 0 ▼a System design.
650 0 ▼a Set theory.
650 0 ▼a Logic, Symbolic and mathematical.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 S328f 등록번호 121015895 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료

Forouzan, Behrouz A. (2022)