×

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

最新的 引文 关联
何纪峰

链接编程理论的新路线图。 （英语） Zbl 1483.68081号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10134, 26-43 (2017).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.吉峰}，Lect。票据计算。科学。10134，26-43（2017；Zbl 1483.68081）
全文： DOI程序
朱龙飞;徐启文;何继峰;朱慧彪

混合编程语言的形式化模型。 （英语） Zbl 1457.68038号

戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。8963, 125-142 (2015).
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhu}等人，Lect。票据计算。科学。8963、125--142（2015年；Zbl 1457.68038）
全文： DOI程序
本特·汤姆森;卡斯珀·瑟·勒科夫;莱思，孤独;托马斯·博格霍姆

从安全关键型Java程序到定时流程模型。 （英语） Zbl 1434.68116号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。9465, 319-338 (2015).
MSC公司：68号30 68甲15 68甲18 68问题55 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Thomsen}等人，Lect。票据计算。科学。9465319-338（2015年；兹bl 1434.68116）
全文： DOI程序
朱龙飞;赵永新;朱慧彪;徐启文

面向网络物理系统的建模语言。 （英语） Zbl 1390.68167号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，394-411（2013）。
MSC公司：68甲15 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhu}等人，Lect。票据计算。科学。8051、394——411（2013年；兹比尔1390.68167）
全文： DOI程序
米克尔·伯特兰;弗朗西斯科·巴博特;气候，八月

通过程序重写实现分布式系统的形式序列化。 （英语） Zbl 1278.68213号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，53-75（2007）。
MSC公司：68问题85 68甲19 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bertran｝等人，电子。注释Theor。计算。科学。188、53-75（2007年；Zbl 1278.68213）
全文： DOI程序
奥尔德罗格（Ernst-Rüdiger Olderog）

用于通信系统的语言之间的接口。 （英语） 兹比尔1425.68300

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。623, 641-655 (1992).
MSC公司：68问题85 68甲15 68N20型 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}，莱克特。票据计算。科学。623641-655（1992年；Zbl 1425.68300）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件