×

找到12个文档（结果1-12）

最新的 引文 关联
安德鲁·巴特菲尔德

UTPCalc–UTP谓词的计算器。 （英语） Zbl 1483.68072号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。101341197-216（2017年）。
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{A.巴特菲尔德}，莱克特。注释计算。科学。10134，197--216（2017；Zbl 1483.68072）
全文： 内政部 链接
凯瑟琳·杜布瓦；阿兰·乔治蒂；理查德·杰内斯蒂尔

枚举组合学的检验和证明。 （英语） Zbl 1348.68217号

Aichernig，Bernhard K.（编辑）等人，《测试与证明》。2016年7月5日至7日，作为2016年STAF的一部分，在奥地利维也纳举行了第十届国际会议，TAP 2016。诉讼程序。查姆：施普林格（ISBN 978-3-319-41134-7/pbk；978-3-316-41135-4/电子书）。计算机科学课堂讲稿9762，57-75（2016）。
MSC公司：68吨15 05-04 05A99号 68N17号 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{C.Dubois}等人，Lect。注释计算。科学。9762，57-75（2016；Zbl 1348.68217）
全文： 内政部 哈尔
克里斯蒂安·斯特纳格尔；雷内·蒂曼

开发独立证书的框架。 （英语） Zbl 1342.68304号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记31251-67，仅电子版（2015）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{R.Thiemann}，电子。注释Theor。计算。科学。312、51-67（2015；Zbl 1342.68304）
全文： 内政部
赫琳·基什内尔

重写策略和策略重写程序。 （英语） Zbl 1321.68331号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，380-403（2015）。
MSC公司：第68季度第42季度 03B70号 68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\文本｛H.Kirchner｝，Lect。注释计算。科学。9200、380——403（2015年；兹bl 1321.68331）
全文： 内政部 哈尔
理查德·基伯茨。

程序验证的编程策略。 （英语） Zbl 1277.68057号

Antoy，Sergio（编辑），第六届改写和编程简化策略国际研讨会论文集（WRS 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第10期，3-38页（2007年）。
MSC公司：68号30 68甲18 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Kieburtz}，电子。注释Theor。计算。科学。174，第10号，第3--38号（2007；Zbl 1277.68057）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件