302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
程序设计－方法
2008年
2015
2008
2007
2004
2003
全部
搜索分类
程序设计方法学
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明...
2008.12
按中图号分类
中图号G634
20388
中图号G624
8976
中图号I247.5
4368
中图号G613
1905
中图号I267
1638
中图号H31
1534
中图号I227
1469
中图号J222.7
1394
中图号G634.413
1251
中图号TP391.41
1175
中图号H125.4
1139
中图号TP312
1120
中图号TP3
1060
中图号G624.203
1025
中图号G624.243
850
中图号B848.4-49
821
中图号I25
781
中图号G613.2
769
中图号G634.303
742
中图号G634.415
740
按出版社分类
机械工业出版社
3462
内蒙古人民出版社
3431
科学出版社
3267
化学工业出版社
2718
高等教育出版社
2513
清华大学出版社
2493
电子工业出版社
2437
人民邮电出版社
2138
中国电力出版社
1738
陕西人民教育出版社
1734
延边大学出版社
1677
北京大学出版社
1674
内蒙古大学出版社
1632
中国人民大学出版社
1522
珠海出版社
1486
大众文艺出版社
1458
延边人民出版社
1447
远方出版社
1436
内蒙古少年儿童出版社
1436
中国少年儿童出版社
1384