大约有6,000项符合查询结果项。（搜索耗时：0.0199秒）
为您推荐：
程序员的数学4图论入门 图灵出品
程序员的数学4图论入门
程序员数学从零开始
程序员数学
程序员的数学4图论入门pdf
程序员的数学 线性代数和概率统计
-
罗延科，苏启棠等编著1988 年出版139 页ISBN：7562401225
-
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
-
郭盈发等编1988 年出版259 页ISBN：7560600816
-
西安冶金建筑学院，沈锦英编1988 年出版250 页ISBN：7502402918
-
孙增圻等编1988 年出版430 页ISBN：7302001790
-
王作新，赵传钧等编著1988 年出版642 页ISBN：7030000412
本书共两篇。第一篇包括4章
-
（西德）雅可普著；邓建华译1988 年出版248 页ISBN：7561200293
-
（苏）叶菲莫夫，（苏）吉米多维奇著；程子元等译1988 年出版1287 页ISBN：7532802140
-
（联邦德国）皮克著；钟厚琼，冯怀涵译1988 年出版182 页ISBN：711000497X
-
田世丰著1988 年出版160 页ISBN：7116002499
