网安书架
出处
《网络安全技术与应用》
2004年第12期51-51,共1页
Network Security Technology & Application
-
1任兴田,马严.NetConf查询操作的形式化模型[J].大连理工大学学报,2005,45(z1):52-54.
-
2梁志荣.形式语义学与软件工程中的不确定性和自适应研究[J].福建电脑,2016,32(7):82-84.
-
3新书架[J].网络安全技术与应用,2005(2):65-65.
-
4网安书架[J].网络安全技术与应用,2004(11):72-73.
-
5苗德成,奚建清.一种时态数据形式语言模型[J].计算机科学,2012,39(4):172-176. 被引量：2
-
6崔宏斌,宋国新.Verilog的一个操作语义模型[J].华东理工大学学报（自然科学版）,2004,30(1):78-81. 被引量：1
-
7柴振荣.《编程中的形式化方法及其应用》会议[J].管理观察,1995,0(6):46-46.
-
8詹英.“《软件行为学》、《银行行为监管》、《银行行为控制》系列著作”首发式在京举行[J].网络安全技术与应用,2004(12):7-7.
-
9许汉成.第23届国际计算语言学大会将于2010年在北京召开[J].外语研究,2009,26(4):43-43.
-
10M.斯托克霍夫,马明辉.意义的体系——维特根斯坦的《逻辑哲学论》与形式语义学[J].世界哲学,2009(2):126-155. 被引量：3
;
