描述
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
書籍詳情
格式
平裝書
頁數
281 頁
語言
英語
已出版
Jan 1, 1986
出版商
Prentice Hall
版本
2 個版本
ISBN-10
0137291469
ISBN-13
9780137291465