形式化方法在藏文软件开发中的应用研究
Publisher: 国家哲学社会科学学术期刊数据库
E-ISSN: 1008-9020|22|3|28-30
ISSN: 1008-9020
Source: 甘肃高师学报, Vol.22, Iss.3, 2017-01, pp. : 28-30
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract