×

找到29个文档(结果1-29)

编程语言的分类语义。 (英语) Zbl 1509.68035号

Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 402-417 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无界不确定性的分类理论语义。 (英语) Zbl 1509.68052号

Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 319-332 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程概念和方法。IFIP工作组2.2/2.3工作会议记录,以色列加利利海,1990年4月2日至5日。 (英语) Zbl 0744.68016号

阿姆斯特丹等地:荷兰北部。八、 第581页(1990年)。
PDF格式BibTeX公司 XML格式引用

形式化模型和语义。理论计算机科学手册。第二卷。 (英语) Zbl 0714.68001号

阿姆斯特丹等:爱思唯尔。十四、 1273 p.英国国防部。325.00 (1990).
审核人:S.布鲁姆
PDF格式BibTeX公司 XML格式引用

VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。 (英语) Zbl 0746.68006号

计算机科学课堂讲稿. 428. 柏林等:Springer-Verlag。十七、 第580页(1990年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前3名

主字段

全部的 前3名

软件