×

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

最新的 引文 关联
普罗琴科，V.S。;尤奇欣，V.V。

VDM规范中的树修改反驳方法。 （英语。俄文原件） Zbl 0875.68636号

程序。计算。柔和。 18，第1期，22-30（1992）; 译自Programmirovanie 1992，No.1，37-48（1992）。
MSC公司：60年第68季度 68N17号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{V.S.Protsenko}和\textit{V.Yurchishin}，程序。计算。柔和。18，第1号，第22--30条（1992；Zbl 0875.68636）；译自Programmirovanie 1992，No.1，37-48（1992）
约翰·格雷（John W.Gray）。

类型lambda演算中的同时替换。 （英语） Zbl 1518.68051号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 207-220 (1992).
MSC公司：68号30 03B40型 18 C50 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.W.Gray}，莱克特。注释计算。科学。598207-220（1992年；Zbl 1518.68051）
全文： 内政部
马清明;约翰·雷诺兹（John C.Reynolds）。

类型、抽象和参数多态性。二、。 （英语） Zbl 1518.68061号

Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 1-40 (1992).
MSC公司：68号30 03B40型 03G30型 18 C50 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{Q.Ma}和\textit{J.C.Reynolds}，莱克特。注释计算。科学。598，1--40（1992年；Zbl 1518.68061）
全文： 内政部
G.Michele Pinna;阿克塞尔·波涅

关于事件的性质。 （英语） Zbl 1493.68253号

Havel，Ivan M.（编辑）等人，《1992年计算机科学的数学基础》。第17届国际研讨会，1992年8月24日至28日，捷克斯洛伐克布拉格。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。629, 430-441 (1992).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.M.Pinna}和\textit{A.Poigné}，莱克特。注释计算。科学。629430--441（1992年；Zbl 1493.68253）
全文： 内政部
玛丽·珍妮·图桑

在密码学中分离规范和实现阶段（扩展抽象）。 （英语） Zbl 1457.68032号

Deswarte，Yves（编辑）等人，《计算机安全》。第二届欧洲计算机安全研究研讨会，ESORICS 92，法国图卢兹，1992年11月23日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。648, 77-101 (1992).
MSC公司：68平方米25 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.-J.图桑}，莱克特。注释计算。科学。648，77--101（1992；Zbl 1457.68032）
全文： 内政部
爱德华·张;佐哈尔·曼纳;阿米尔·普努利

时间属性类的特征。 （英语） Zbl 1425.68252号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 474-486 (1992).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Chang}等人，Lect。注释计算。科学。623474-486（1992年；Zbl 1425.68252）
全文： 内政部
兹比格尼乌·胡扎尔

实时LOTOS中离散系统的仿真。 （英语） Zbl 0795.68130号

计算系统分析，Proc。第四国际交响乐团。系统。分析。柏林/德国模拟。1992, 549-554 (1992).
MSC公司：60年第68季度 68平方英寸
PDF格式BibTeX公司 XML格式引用
\textit{Z.Huzar}，in：计算系统分析1992。第四届系统分析与仿真国际研讨会论文集，德国柏林，1992年8月25-28日。阿姆斯特丹等地：荷兰北部。549--554（1992年；Zbl 0795.68130）
施林格洛夫，伯恩德·霍尔格

关于模态逻辑在树上的表达能力（扩展抽象）。 （英语） Zbl 0978.03523号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔，第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 441-451 (1992).
MSC公司：03B70号 03B44号 03B45号 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.-H.施林格洛夫}，莱克特。注释计算。科学。620、441--451（1992年；Zbl 0978.03523）
多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆

PREVAIL：VHDL描述的证明环境。 （英语） Zbl 0794.68143号

正确的硬件设计方法，Proc。高级研究研讨会，意大利都灵，1991年，163-186年（1992年）。
MSC公司：68吨15 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Borrione}等人，in：正确的硬件设计方法。高级研究研讨会论文集，意大利都灵，1991年6月12日至14日。阿姆斯特丹等地：荷兰北部。163--186（1992年；Zbl 0794.68143）
马蒂亚斯·穆茨

用VERENA对时序电路进行形式化验证：一个案例研究。 （英语） Zbl 0794.68099号

正确的硬件设计方法，Proc。高级研究研讨会，意大利都灵，1991年，29-50（1992年）。
MSC公司：60年第68季度 94C12号机组 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Mutz}，in：正确的硬件设计方法。高级研究研讨会论文集，意大利都灵，1991年6月12日至14日。阿姆斯特丹等地：荷兰北部。29-50（1992年；Zbl 0794.68099）
维姆·赫塞林克。

程序、递归和无限选择。谓词转换语义和转换规则。 （英语） Zbl 0759.68057号

剑桥理论计算机科学丛书. 27. 剑桥：大学出版社。十二、 第223页（1992年）。
审核人：A.Kreczmar（华沙）
MSC公司：68问题55 68-02 60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{W.H.Hesselink}，程序，递归和无限选择。谓词转换语义和转换规则。剑桥：大学出版社（1992；Zbl 0759.68057）
全文： 内政部
吉恩·梅梅特（编辑）

用于硬件仿真、综合和形式化证明的VHDL。 （英语） Zbl 0778.68011号

Kluwer国际工程与计算机科学系列. 183. 多德雷赫特：Kluwer学术出版社。十一、 第307页（1992年）。
审核人：P.Molitor（萨尔布吕肯）
MSC公司：68-06 68瓦35 94立方厘米 94C12号机组 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.Mermet}（编辑），硬件仿真、综合和形式化证明的VHDL。多德雷赫特：Kluwer学术出版社（1992；Zbl 0778.68011）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件