설명
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
책 세부 정보
형식
페이퍼백
페이지
281 페이지
언어
영어
출판됨
1월 1, 1986
출판사
Prentice Hall
판본
판본 2개
ISBN-10
0137291469
ISBN-13
9780137291465