×

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

Ugo Montanari和软件验证。 (英语) Zbl 1143.68451号

Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065618-624(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算模型:向乌戈·蒙塔纳里的愿景致敬。 (英语) Zbl 1143.68393号

Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065503-509(2008)。
MSC公司:2005年第68季度 68-03 01A60型 01A70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

乌戈·蒙塔纳里和并发理论。 (英语) Zbl 1143.68484号

Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065403-408(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

乌戈·蒙塔纳里和图变换。 (英语) Zbl 1143.68424号

Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065,9-15(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发、图形和模型。在乌戈·蒙塔纳里65岁生日之际献给他的散文。 (英语) Zbl 1137.68003号

计算机科学课堂讲稿5065.柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。xv,第810页。(2008).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段

传记参考