×

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

程序是否产生正确的分布?通过生成函数验证概率程序。 (英语) Zbl 1514.68028号

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 79-101 (2022).
PDF格式BibTeX公司 XML格式引用

概率规划中的条件处理。 (英语) Zbl 1351.68066号

Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319199-216,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用

了解概率程序。 (英语) 兹比尔1444.68045

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 15-32 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于几乎完全终止的硬度。 (英语) Zbl 1465.68097号

Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 307-318 (2015).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段