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


保存至书单:
1.
形式化方法导论
著者: 张广泉
出版社: 清华大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: TP301.2/21
2.
著者: 朱水林
出版社: 人民出版社   出版日期: 1987
文献类型: 图书 , 索书号: B812/85
3.
著者: 朱水林
出版社: 人民出版社   出版日期: 1987
文献类型: 图书 , 索书号: B812/85
4.
语言形式化原理
著者: 王迈
出版社: 上海大学出版社   出版日期: 2016
文献类型: 图书 , 索书号: H0/591
5.
出版社: 北京大学出版社   出版日期: 2001
文献类型: 图书 , 索书号: TN431.2/47
6.
出版社: 科学出版社   出版日期: 2022.09
文献类型: 图书 , 索书号: O316/27
7.
出版社: 科学出版社   出版日期: 2022
文献类型: 图书 , 索书号: TP24/97
8.
XBRL财务报告的元数据语义形式化 已借1次.
著者: 潘定
出版社: 科学出版社   出版日期: 2015
文献类型: 图书 , 索书号: F231.5-39/6
9.
出版社: 科学出版社   出版日期: 2020
文献类型: 图书 , 索书号: TP18/418
10.
出版社: 科学出版社   出版日期: 2023
文献类型: 图书 , 索书号: O151/23