302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
软件开发－教材－英文
2008年
2008
2006
2005
2004
全部
搜索分类
软件开发的形式化工程方法：结构化+面向对象+形式化
本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严...
2008.
按中图号分类
中图号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