首页期刊浏览 2025年06月06日星期五

登录注册

全文

有本地全文

3篇

出版年度

	2017	2篇
	2015	1篇

作者

	Zachary Tatlock	3篇
	Dan Grossman	2篇
	Anat Caspi	1篇
	Calvin Loncaric	1篇
	Chandrakana Nandi	1篇

	Emina Torlak	1篇
	Ilya Sergey	1篇
	James R. Wilcox	1篇
	Jon Jacky	1篇
	Michael D. Ernst	1篇
	Stuart Pernsteiner	1篇
	Xi Wang	1篇

来源期刊

LIPIcs : Leibniz International Proceedings in Informatics

3篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

德国

3篇

检索条件:"( ( 高级检索(( ((AU:(("Zachary Tatlock")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Toward a Dependability Case Language and Workflow for a Radiation Therapy System

作　　者：Michael D. Ernst ;Dan Grossman ;Jon Jacky 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:103-112.doi:10.4230/LIPIcs.SNAPL.2015.103

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846739

文章详细全文下载
2.Programming Language Tools and Techniques for 3D Printing

作　　者：Chandrakana Nandi ;Anat Caspi ;Dan Grossman 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:10:1-10:12.doi:10.4230/LIPIcs.SNAPL.2017.10

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：193875255

文章详细全文下载
3.Programming Language Abstractions for Modularly Verified Distributed Systems

作　　者：James R. Wilcox ;Ilya Sergey ;Zachary Tatlock

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:19:1-19:12.doi:10.4230/LIPIcs.SNAPL.2017.19

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：193875264

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有