书籍 程序设计方法学的封面

程序设计方法学

胡正国 蔡经球编著

出版社

西安:西北工业大学出版社

出版时间

1987

ISBN

7561200005

标注页数

227 页

PDF页数

234 页

书籍介绍
内容包括:结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
在线购买PDF电子书