소장자료
LDR | 00789camua2200229 a 4500 | ||
001 | 0000323537▲ | ||
005 | 20180520212238▲ | ||
008 | 960308s1997 enka b 001 0 eng ▲ | ||
010 | ▼a 96013537 ▲ | ||
020 | ▼a 0521550416 (hbk.)▲ | ||
020 | ▼a 0521559766 (pbk.)▲ | ||
040 | ▼a DLC▼c DLC▼d DLC▲ | ||
050 | 0 | 0 | ▼a QA76.73.Z2▼b J33 1997▲ |
082 | 0 | 0 | ▼a 005.1/2▼2 20▲ |
090 | ▼a 005.12 ▼b J14w ▲ | ||
100 | 1 | ▼a Jacky, Jonathan.▲ | |
245 | 1 | 4 | ▼a The way of Z : ▼b practical programming with formal methods / ▼c Jonathan Jacky.▲ |
260 | ▼a Cambridge ;▼a New York, NY, USA : ▼b Cambridge University Press , ▼c 1997.▲ | ||
300 | ▼a xviii, 350 p. : ▼b ill. ; ▼c 25 cm.▲ | ||
504 | ▼a Includes bibliographical references (p. [328]-339) and index.▲ | ||
650 | 0 | ▼a Z (Computer program language)▲ | |
950 | 0 | ▼b £55.00 ▲ |
The way of Z : practical programming with formal methods
자료유형
국외단행본
서명/책임사항
The way of Z : practical programming with formal methods / Jonathan Jacky.
개인저자
발행사항
Cambridge ; New York, NY, USA : Cambridge University Press , 1997.
형태사항
xviii, 350 p. : ill. ; 25 cm.
서지주기
Includes bibliographical references (p. [328]-339) and index.
ISBN
0521550416 (hbk.) 0521559766 (pbk.)
청구기호
005.12 J14w
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서