学者知网节

【姓名】	张军
【职称】
【研究领域】	电信技术;计算机软件及计算机应用;物理学;
【研究方向】
【发表文献关键词】	程序的形式推导方法,循环不变式,界函数,程序规范,推导方,谓词,程序正确性,推导方法,最弱前置条件,证明理论,程序开发,程序的正确性,形式推导,程序设计方法学,大型程序,程序终止,状态集合,程序语句,...
【工作单位】	吉首大学
【曾工作单位】	吉首大学;
【所在地域】	湖南吉首

中国期刊全文数据库 共找到6篇

[1]彭丽;杨京渝;张军;.电路实验传统教学与信息化教学的优势互补研究[J]科技视界.2019,(15)

[2]李美华;叶伏秋;张军;.连接构型对铬卟啉分子自旋过滤效应的调控[J]吉首大学学报(自然科学版).2019,(04)

[3]邓瑜;张军;尹杰;杨喜;.基于粒子群优化算法的宽带频谱感知方案设计[J]吉首大学学报(自然科学版).2016,(03)

[5]张军;.大众化阶段高校管理要注意的几个问题[J]当代教育论坛(上半月刊).2009,(06)

[6]彭佳红,张军.程序的形式推导方法[J]吉首大学学报(自然科学版).2001,(04)

中国优秀硕士学位论文全文数据库 共找到1篇

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/7	1	5	3	14	347