×

找到228个文档(结果1-100)

程序验证器的定理证明器塔佐蠕虫. (英语) Zbl 1509.68310号

Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 657-658 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用高阶统一性进行示例编程和示例证明。 (英语) Zbl 1509.68307号

Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 588-602 (1990).
MSC公司:68伏15 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在逻辑编程语言中对依赖型演算进行编码。 (英语) Zbl 1509.68163号

Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 221-235 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序验证中的战术定理证明。 (英语) Zbl 1509.68165号

Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 117-131 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

用于数据优化的代数公式。 (英语) Zbl 1509.68174号

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

“N+1次”证明了比“N次”更多的程序正确吗? (英语) Zbl 1509.68169号

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

PER模型中的代数类型。 (英语) Zbl 1509.68049号

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

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

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

PCF的等式完全抽象模型。 (英语) Zbl 1509.68054号

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

完全正确和公平的语义模型。 (英语) Zbl 1509.68050号

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

关于反射塔中的一些语义问题。 (英语) Zbl 1509.68051号

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

构造演算中的归纳定义类型。 (英语) 兹比尔1509.68053

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

在定时CSP中分解证明。 (英语) Zbl 1509.68079号

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

条件AC理论中的方程求解。 (英语) Zbl 1493.68105号

Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 283-297 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

分类产品理论的匹配过程。 (英语) Zbl 1493.68100号

Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 270-282 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

函数逻辑语言的公理化。 (英语) Zbl 1493.68055号

Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 101-116 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序类型的功能系统中的完全模理想。 (英语。俄文原件) Zbl 0804.03029号

离散数学。申请。 2,第1号,59-68(1992); 从Diskretn翻译。材料2,编号2,112-120(1990)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

R模式的公理语义和图形程序的验证。 (英语。俄文原件) Zbl 0800.68548号

控制论 第26页,第1期,22-31页(1990年); 译自Kibernetika 1990,No.1,21-27(1990)。
PDF格式BibTeX公司 XML格式引用

程序分析等式和不等式的迭代方法。 (英语。俄文原件) Zbl 0800.68549号

控制论 26,第3号,307-318(1990); 译自Kibernetika 1990,No.3,1-10,104(1990)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并行计算过程的正确性。编辑:N.N.Mirenkov。(Korrektnost“平行”ykh vychislitel“ykh protessov。) (俄语) Zbl 0783.68006号

新西伯利亚:瑙卡。第253页(1990年)。
PDF格式BibTeX公司 XML格式引用

Vom问题zum程序。Eine Einführung在die Informatik中。(从问题到程序。计算机科学导论。)。 (德语) Zbl 0743.68005号

Leitfäden und Monographien der Informatik公司。斯图加特:B.G.Teubner Verlag。第228页(1990年)。
PDF格式BibTeX公司 XML格式引用

1990年TRON项目。开放式体系结构计算机系统。第七届TRON项目研讨会会议记录,1990年,日本东京。 (英语) Zbl 0810.68046号

东京等地:施普林格-弗拉格。十一、 第436页(1990年)。
PDF格式BibTeX公司 XML格式引用

功能程序的自动复杂性分析。(Automatische Komplexitätsanalysis funktionaler Programme) (德语) Zbl 0802.68080号

信息-Fachberichte. 261. 柏林等:Springer-Verlag。卡尔斯鲁厄:TH Karlsruhe,194 p.(1990)。
PDF格式BibTeX公司 XML格式引用

使用规范进行编程。介绍ANNA,一种用于指定阿达程序的语言。 (英语) Zbl 0729.68007号

计算机科学的文本和专著。纽约等地:Springer-Verlag。十六、 416 p.DM 98.00(1990年)。
PDF格式BibTeX公司 XML格式引用

计算机网络。1990年5月8日至10日在匈牙利布达佩斯举行的90年代COMNET IFIP TC 6会议记录。 (英语) Zbl 0745.68008号

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

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

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

协议规范、测试和验证,X.IFIP WG 6.1第十届国际研讨会论文集,加拿大安大略省渥太华,1990年6月12-15日。 (英语) Zbl 0800.68102号

阿姆斯特丹等地:荷兰北部。十一、 第415页(1990年)。
MSC公司:68-06 00B25型
PDF格式BibTeX公司 XML格式引用

计算机辅助设计和微电子系统的体系结构。(Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme.GME/GI/ITG-Fachtagung,多特蒙德,FRG,1.-2)。1990年10月。诉讼程序。) (德语) Zbl 0825.68097号

信息-Fachberichte. 255. 柏林等:Springer-Verlag。第298页(1990年)。
MSC公司:68-06 68岁20岁 68单位07 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用

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

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

1990年开始。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。 (英语) Zbl 0746.68005号

计算机科学课堂讲稿458.柏林等:斯普林格·弗拉格。七、 第536页(1990年)。
PDF格式BibTeX公司 XML格式引用

应用于VLSI CAD软件的自动编程:案例研究。 (英语) Zbl 0718.68016号

Kluwer国际工程与计算机科学系列, 101. 波士顿等:Kluwer学术出版社。十七、 第228页,59.95美元(1990年)。
PDF格式BibTeX公司 XML格式引用

Funktitionelle分析von Kommunikationsprotokollen。(通信协议的功能分析)。 (德语) Zbl 0732.68016号

信息-Fachberichte, 247. 柏林等:Springer-Verlag。九、 122 p.DM 28.50(1990)。
MSC公司:68M10个 68米15 68-02
PDF格式BibTeX公司 XML格式引用

安全软件。会议,德国波恩,1989年11月27日至28日。(Sichere Software,波恩塔贡,1989年11月27日至28日) (德语) 兹伯利0812.68049

海德堡:Hüthig Verlag。315页(1990年)。
PDF格式BibTeX公司 XML格式引用

编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。 (英语) Zbl 0751.68005号

计算机科学课堂讲稿442.柏林等:斯普林格·弗拉格。VI、 439页(1990年)。
审核人:E.P.de Vink公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发系统的规范和验证。1988年7月6日至8日在苏格兰斯特林大学举行的BCS-FACS研讨会会议记录。 (英语) Zbl 0745.68014号

计算机研讨会。柏林等:Springer-Verlag。八、 第612页(1990年)。
PDF格式BibTeX公司 XML格式引用

模块测试和模块验证。最新技术。(模块测试和模块验证。最新技术)。 (德语) Zbl 0715.68001号

审核人:G.温克勒
PDF格式BibTeX公司 XML格式引用

美丽是我们的事业。向Edsger W.Dijkstra致敬。 (英语) 兹比尔0718.68004

计算机科学的文本和专著。柏林等:Springer-Verlag。二十一、 453 p.DM 98.00(1990)。
PDF格式BibTeX公司 XML格式引用

系统软件开发中的案例研究。 (英语) Zbl 0716.68006号

计算机科学国际丛书。纽约等地:普伦蒂斯·霍尔。十七、 第387页(1990年)。
审核人:J.勒克斯
PDF格式BibTeX公司 XML格式引用

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

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

硬件规范、验证和综合:数学方面。数学科学研究所研讨会,1989年7月5日至7日,美国纽约州伊萨卡。诉讼程序。 (英语) Zbl 0799.68018号

计算机科学课堂讲稿408.柏林等:施普林格出版社。六、 第402页(1990年)。
PDF格式BibTeX公司 XML格式引用

有限状态系统的自动验证方法。国际研讨会,法国格勒诺布尔,1989年6月12日至14日。诉讼程序。 (英语) Zbl 0745.68017号

计算机科学课堂讲稿. 407. 柏林等:Springer-Verlag。七、 第382页(1990年)。
审核人:M.K(布尔诺)
PDF格式BibTeX公司 XML格式引用

非线性边值问题解存在性的数值验证方法。 (英语) 兹伯利0784.65066

Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 329-339 (1990).
MSC公司:65升10 34B15号机组
PDF格式BibTeX公司 XML格式引用

具有自动结果验证的自适应数值求积程序。 (英语) Zbl 0784.65015号

Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一次国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 301-317 (1990).
MSC公司:65天32分 41A55型
PDF格式BibTeX公司 XML格式引用

边值问题的数值方法及其结果验证。 (英语) Zbl 0784.65076号

Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Comput。申请。数学。7, 291-299 (1990).
PDF格式BibTeX公司 XML格式引用

同时计算所有多项式零点的区间算法。 (英语) Zbl 0784.65042号

Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 183-195 (1990).
MSC公司:65小时05 65G30型 26立方厘米 2005年12月
PDF格式BibTeX公司 XML格式引用

区间输入数据下的最小二乘近似。 (英语) Zbl 0784.65028号

Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 133-147 (1990).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

传记参考