描述
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