프렌티스 홀 컴퓨터 과학 국제 시리즈

컴퓨터 과학의 프렌티스 홀 국제 시리즈는 프렌티스 홀이 출판한 컴퓨터 과학에 관한 책 시리즈였다.^[1]

이 시리즈의 창간 편집자는 토니 호어였다. 그 후 리차드 버드가 시리즈 편집을 맡았다.^[2] 시리즈에 수록된 많은 책들은 특히 형식적인 방법의 영역에 있었다.

엄선된 도서

이 시리즈에는 다음과 같은 책들이 출판되었다.^[1][3]

• R. S. Bird, 1998년 2판 Haskell을 이용한 기능 프로그래밍 소개. ISBN0-13-484346-0.
• R. S. 버드와 O. 드 무어, 프로그래밍 대수, 1996. ISBN 0-13-507245-X.(시리즈 100권)
• O.J. 달, 1992년 검증 가능한 프로그래밍 ISBN 0-13-951062-1
• D. M. Gabbay, 초등 로직: 절차적 관점, 1998. ISBN 0-13-726365-1
• I. J. 헤이스(ed.), 사양 사례 연구, 제2판, 1993. ISBN 0-13-832544-8.
• M. G. Hinchey와 J. P. Bowen(에드), 형식 방법의 적용, 1996. ISBN 0-13-366949-1.
• C. A. R. Hoare, Communication Sequential Processes, 1985. ISBN 0-13-153271-5 하드백 또는 ISBN 0-13-153289-8 페이퍼백
• C. A. R. Hoare와 M. J. C. Gordon, 기계화된 추론과 하드웨어 설계, 1998. ISBN 0-13-572405-8
• C. A. R. Hoare와 He Jifeng, 1998년 프로그래밍 이론 통합 ISBN 0-13-458761-8
• INMOS Limited, Occam 2 Reference Manual, 1988. ISBN 0-13-629312-3.
• Cliff Jones, VDM을 이용한 체계적 소프트웨어 개발, 1986. ISBN 0-13-880725-6 하드백 또는 ISBN 0-13-880717-5 페이퍼백.
• M. Joseph (ed.), 실시간 시스템: 사양, 검증 및 분석, 1996. ISBN 0-13-455297-0
• Bertrand Meyer, Object-Oriented Software Construction (초판 전용)
• 1989년 통신과 동시성 로빈 밀너였습니다. ISBN 0-13-115007-3 (페이퍼백용)
• C. C. Morgan, Programming from Specifications, 1994년 2월호 ISBN 0-13-123274-6
• P. N. 닛산케, Realtime Systems, 1997. ISBN 0-13-651274-7
• B. Potter, J. Sinclair, D. 1996년 2판, 공식 사양 소개 및 Z 소개. ISBN 0-13-24207-7.
• A. W. Roscoe (ed.), A Classic Mind: 1994년 C. A. R. Hoare의 경의를 표하는 에세이. ISBN 0-13-294844-3.
• A. W. Roscoe, Theory of Concurrency, 1997. ISBN 0-13-674409-5.
• J. M. 스피비, Z 표기법: 참조 설명서, 제2판, 1992. ISBN 0-13-978529-9
• J. C. P. Woodcock 및 J. W. Davies, Using Z: Specification, Premise and Proof, 1996. ISBN 0-13-948472-8

참조

컴퓨터 책이나 책 시리즈에 관한 이 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t