名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 形式化 , 检索到: 85 条结果, 检索时间: 0.031 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
形式化方法导论
著者: 张广泉
出版社: 清华大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: TP301.2/21
2.
语言形式化原理
著者: 王迈
出版社: 上海大学出版社   出版日期: 2016
文献类型: 图书 , 索书号: H0/591
3.
出版社: 科学出版社   出版日期: 2022.09
文献类型: 图书 , 索书号: O316/27
4.
出版社: 科学出版社   出版日期: 2022
文献类型: 图书 , 索书号: TP24/97
5.
出版社: 科学出版社   出版日期: 2020
文献类型: 图书 , 索书号: TP18/418
6.
出版社: 科学出版社   出版日期: 2023
文献类型: 图书 , 索书号: O151/23
7.
著者: 李建华
出版社: 机械工业出版社   出版日期: 2010
文献类型: 图书 , 索书号: TP393.08/422
8.
著者: 刘少英
出版社: 清华大学出版社   出版日期: 2008
文献类型: 图书 , 索书号: TP311.52/208
9.
著者: 古天龙
出版社: 高等教育出版社   出版日期: 2005
文献类型: 图书 , 索书号: TP311.52/108
10.
著者: 薛朝改
出版社: 机械工业出版社   出版日期: 2012
文献类型: 图书 , 索书号: F270.7/404