×

兹马思-数学第一资源

在证据的灰色区域中发挥作用。(英语) Zbl 1321.68196
第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2012年1月22日至28日,美国宾夕法尼亚州费城,2012年1月22日至28日。纽约:计算机械协会(ACM)(ISBN 978-1-4503-1083-3)。259-272(2012年)。

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68T15型 定理证明(演绎、解析等)(MSC2010)
PDF格式 BibTeX公司 XML 引用
全文: 内政部