×

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

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

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

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

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

事件结构的时态逻辑。 (英语) Zbl 0789.03030号

数理逻辑,程序。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting,柴卡/巴尔格。1988, 327-338 (1990).
PDF格式BibTeX公司 XML格式引用

逻辑和计算机。推理建模和程序正确性控制。(Logika i komp'yuter.Modelirovanie rassuzhdenij i proverka pravil'nosti程序。) (俄语) Zbl 0713.68050号

Kibernetika:Neogranichenye Vozmozhnosti i Vozmozznye Ogranicheniya。莫斯科:瑙卡。240 p.R.0.65(1990年)。
审核人:S.Vorob'ev公司
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

软件