收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

时序逻辑语言

郑茂松  
【摘要】:正 1.前言时序逻辑语言(temporal logic language)既是一种程序设计语言,也是一种时序逻辑系统。它不仅能用来编写程序,而且能用来表示程序的性质和进行程序正确性证明。程序设计语言的研究对计算机科学的发展起着重要的作用。高级语言的兴起、结构程序语言的出现都说明了这一点。遗憾的

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈芸;;浅谈基于C的程序设计语言[J];科教文汇(上旬刊);2011年08期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前4条
1 李刚健;任芳芳;;高级程序语言教学改革新探[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年
2 董长林;吕红;;交互式Web开发技术ASP与数据库访问的研究与应用[A];陕西省气象学会2005年学术交流会论文集[C];2005年
3 罗述全;;基于COM的Matlab与C#混合编程应用[A];湖北省机械工程学会机械设计与传动专业委员会第十五届学术年会论文集(一)[C];2007年
4 陈栋;王能斌;;持久性程序设计语言的一些实现技术[A];第十届全国数据库学术会议论文集[C];1992年
中国硕士学位论文全文数据库 前8条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 马楠;网络课程开发的研究与实践[D];北京邮电大学;2009年
3 李静;基于UML行为模型的软件漏洞检测形式方法研究[D];青岛大学;2010年
4 何瑞珍;基于GIS林业管理信息系统研究[D];河南农业大学;2004年
5 文欣;Z规格说明中笛卡尔积算子自动求精的研究与实现[D];沈阳工业大学;2006年
6 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
7 龚胡;基于空间数据库技术的信息管理系统的研究[D];武汉理工大学;2004年
8 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978