×

兹马思-数学第一资源

符号执行和程序测试。(英语) Zbl 0329.68018号

理学硕士:
68N01号 软件理论概论
68立方厘米 符号计算与代数计算
68T15型 定理证明(演绎、解析等)(MSC2010)
PDF格式 BibTeX公司 XML 引用
全文: 内政部