説明
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