史志平;关、勇;李锡盟 复数分析和矩阵理论的形式化。 (英语) Zbl 1471.68006号 新加坡:施普林格;北京:清华大学出版社(ISBN 978-981-15-7260-9/hbk;978-981-15-7263-0/pbk;988-981-15-15-7261-6/电子书)。x、 168页。(2020).MSC公司:68-02 15-02 30-02 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shi}等人,复分析和矩阵理论的形式化。新加坡:施普林格;北京:清华大学出版社(2020;Zbl 1471.68006) 全文: 内政部
玛丽亚·乔昂·弗雷德;豪尔赫·索萨·品托 源级命令程序的验证条件。 (英语) Zbl 1298.68171号 计算。科学。版次。 5,第3期,252-277(2011).MSC公司:60年第68季度 03B70号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.S.Pinto},计算。科学。第5版,第3号,252--277(2011;Zbl 1298.68171) 全文: 内政部 链接
Natarajan Shankar 重写、推理和证明。 (英语) Zbl 1306.68089号 厄尔夫茨基,彼得·萨巴(编辑),重写逻辑及其应用。2010年3月20日至21日,作为ETAPS 2010的卫星活动,在塞浦路斯帕福斯举行了第八届WRLA 2010国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-16309-8/pbk)。计算机科学课堂讲稿6381,1-14(2010)。MSC公司:第68季度第42季度 03B35型 03B70号 60年第68季度 68吨15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{N.Shankar},莱克特。注释计算。科学。6381,1-14(2010年;Zbl 1306.68089) 全文: 内政部
桑迪普·雷 用于正式验证的可扩展技术。 (英语) Zbl 1211.68253号 纽约州纽约市:施普林格出版社(ISBN 978-1-4419-5997-3/hbk;978-1-441 9-5998-0/电子书)。xiv,243页。(2010). 审核人:卢茨·施罗德(不来梅) MSC公司:60年第68季度 68-02 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ray},形式验证的可伸缩技术。纽约州纽约市:施普林格(2010;Zbl 1211.68253) 全文: 内政部
Krzysztof R.阿普特。;德波尔(Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog) 验证顺序和并发程序。第三次修订版。 (英语) Zbl 1183.68361号 计算机科学课文伦敦:施普林格出版社(ISBN 978-1-84882-744-8/hbk;978-1-848 82-745-5/电子书)。xxiii,502页。(2009).MSC公司:60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《顺序程序和并发程序的验证》。第三次修订版伦敦:施普林格出版社(2009;Zbl 1183.68361) 全文: 内政部 链接
威廉·鲍尔·德罗弗;凯·恩格哈特 数据精炼:面向模型的证明方法及其比较。重印1998年精装版。 (英语) 兹比尔1152.68031 剑桥理论计算机科学丛书47.剑桥:剑桥大学出版社(ISBN 978-0-521-10350-3/pbk)。xi,第423页。(2009).MSC公司:60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.De Roever}和\textit{K.Engelhardt},《数据精化:面向模型的证明方法及其比较》。1998年精装版再版。剑桥:剑桥大学出版社(2009年;Zbl 1152.68031) 全文: 内政部
Farmer,William M。 简单类型理论的七个优点。 (英语) Zbl 1149.03012号 J.应用。日志。 6,第3期,267-286(2008).MSC公司:03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},J.Appl.(《应用杂志》)。日志。6,第3号,267--286(2008;Zbl 1149.03012) 全文: 内政部
弗里克·威迪杰克(编辑) [Dana S.斯科特。] 世界上十七位箴言家。Dana S.Scott的前言。。 (英语) Zbl 1084.68119号 计算机科学课堂讲稿3600.人工智能讲义。AI系统。柏林:施普林格出版社(ISBN 3-540-30704-4/pbk)。十六、159页。(2005).MSC公司:68吨15 68-02 68-06 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiedijk}(编辑),世界十七位箴言家。前言:Dana S.Scott。柏林:施普林格出版社(2005;Zbl 1084.68119) 全文: 内政部
鲁斯特,海因里希 定时系统的操作语义。时间和混合系统统一建模的非标准方法。 (英语) Zbl 1070.68087号 计算机科学课堂讲稿3456.柏林:施普林格出版社(ISBN 3-540-25576-1/pbk)。xii,223页。(2005).MSC公司:第68季度55 2005年第68季度 03H10年上半年 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Rust},定时系统的操作语义。时间和混合系统统一建模的非标准方法。柏林:施普林格出版社(2005;Zbl 1070.68087) 全文: 内政部
Dmitri A.Chkliaev。 并发控制和恢复协议的机械验证。 (英语) Zbl 0989.68089号 埃因霍温:TU Eindhoven。x、 第152页(2001年)。 审核人:蒂埃里·杰龙(雷恩) MSC公司:60年第68季度 64岁以下 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Chkliaev},并发控制和恢复协议的机械验证。埃因霍温:TU Eindhoven(2001;Zbl 0989.68089)
爱德华多·吉梅内斯;克里斯汀·保林·莫林 导言。 (英语) 兹伯利0927.03052 Giménez,Eduardo(编辑)等人,《证明和程序的类型》。1996年12月15日至19日,法国奥索瓦,96年国际研讨会类型。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1512, 1-8 (1998).MSC公司:03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giménez}和\textit{C.Paulin-Mohring},莱克特。注释计算。科学。1512年1月8日(1998年;Zbl 0927.03052)
Richard迈尔 无限状态系统模型检验问题的可判定性和复杂性。 (英语) Zbl 0912.68035号 慕尼黑:慕尼黑理工大学(TUM),《法库塔特信息》,190页(1998年)。MSC公司:2005年第68季度 68-02 68问题85 第68季度第42季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Mayr},无限状态系统模型检验问题的可判定性和复杂性。慕尼黑:慕尼黑理工大学(TUM),Fakultät Informatik(1998;Zbl 0912.68035)
胡安·比卡雷奎。(编辑) VDM证明。案例研究。 (英语) Zbl 0897.68064号 计算和信息技术的形式化方法(FACIT)。柏林:斯普林格。xiv,226页(1998年)。 审核人:M.Gheorghe(布库雷什蒂) MSC公司:60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bicarregui}(编辑),VDM中的证明。案例研究。柏林:施普林格出版社(1998;Zbl 0897.68064)