HOME > 상세정보

상세정보

Software abstractions : logic, language and analysis

Software abstractions : logic, language and analysis (4회 대출)

자료유형
단행본
개인저자
Jackson, Daniel.
서명 / 저자사항
Software abstractions : logic, language and analysis / Daniel Jackson.
발행사항
Cambridge, Mass. :   MIT Press ,   2006.  
형태사항
xvi, 350 p. : ill. ; 24 cm.
ISBN
0262101149 (alk. paper)
서지주기
Includes bibliographical references and index.
일반주제명
Computer software -- Development.
000 00709namuu2200217 a 4500
001 000045301671
005 20061030135713
008 060817s2006 maua b 001 0 eng d
010 ▼a 2005056155
020 ▼a 0262101149 (alk. paper)
035 ▼a (KERIS)BIB000010536354
040 ▼a 211061 ▼d 244002
082 0 0 ▼a 005.1 ▼2 22
090 ▼a 005.1 ▼b J12s
100 1 ▼a Jackson, Daniel.
245 1 0 ▼a Software abstractions : ▼b logic, language and analysis / ▼c Daniel Jackson.
260 ▼a Cambridge, Mass. : ▼b MIT Press , ▼c 2006.
300 ▼a xvi, 350 p. : ▼b ill. ; ▼c 24 cm.
504 ▼a Includes bibliographical references and index.
650 0 ▼a Computer software ▼x Development.

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.1 J12s 등록번호 121136138 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 세종학술정보원/과학기술실/ 청구기호 005.1 J12s 등록번호 151215780 도서상태 대출가능 반납예정일 예약 서비스 M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.1 J12s 등록번호 121136138 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 005.1 J12s 등록번호 151215780 도서상태 대출가능 반납예정일 예약 서비스 M

관련분야 신착자료

한국정보기술연구원 (2021)
한국정보기술연구원 (2022)
Lerner, Reuven (2021)
천인국 (2022)