302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
软件可靠性
2019年
2019
2016
2014
2011
全部
搜索分类
软件安全性需求形式化建模和验证
本书基于软件安全性领域内的权威标准和手册,将形式化理论和方法应用于软件安全性需求建模和验证工作中,以...
2019.11
按中图号分类
中图号G634
18182
中图号G624
13967
中图号G613
4740
中图号I287.8
4692
中图号I247.5
4179
中图号I267
3122
中图号I227
2858
中图号G613.2
1800
中图号G613.3
1681
中图号G624.243
1681
中图号G624.203
1642
中图号I287.45
1611
中图号I287.7
1481
中图号G624.233
1446
中图号G898.2
1378
中图号G624.753
1267
中图号G613.7
1224
中图号G634.413
1202
中图号J228.4
1049
中图号G624.565
1021
按出版社分类
科学出版社
3772
电子工业出版社
3039
机械工业出版社
2840
团结出版社
2830
清华大学出版社
2716
人民邮电出版社
2566
高等教育出版社
2431
延边大学出版社
2424
化学工业出版社
2409
中国社会科学出版社
2090
吉林出版集团股份有限公司
2088
吉林大学出版社
2073
上海交通大学出版社
2054
江苏人民出版社
1826
社会科学文献出版社
1820
江苏凤凰美术出版社
1763
南京大学出版社
1730
新疆青少年出版社
1687
黑龙江美术出版社
1684
中信出版社
1669