[Lecture Notes in Computer Science] Theoretical Computer Science Volume 145 || An axiomatic approach to semantics of specification languages
- 作者Cremers, Armin B.; Kriegel, Hans-Peter
- 文件大小871.08KB
- 发表时间1982
- DOI10.1007/BFb0036482
- 页码211-219
[Research Series on the Chinese Dream and China’s Development Path] Chinese Dream and Practice in Zhejiang – Economy ||Pei, Changhong; Xu, Jianfeng · 2019
[Research Series on the Chinese Dream and China’s Development Path] Chinese Dream and Practice in Zhejiang – Culture ||Xie, Dikun; Chen, Ye · 2019
[Research Series on the Chinese Dream and China’s Development Path] China’s Foreign Aid ||Zhou, Hong; Xiong, Hou · 2017
[Research Series on the Chinese Dream and China’s Development Path] Research Outline for China’s Cultural Soft Power ||Zhang, Guozuo · 2017
[Research Series on the Chinese Dream and China’s Development Path] China’s Rural Development Road ||Zhang, Xiaoshan; Li, Zhou · 2018
[Research Series on the Chinese Dream and China’s Development Path] Research on China’s Public Finance Construction Index System ||Gao, Peiyong; Zhang, Bin; Wang, Ning · 2017
[Research Series on the Chinese Dream and China’s Development Path] Labor Law in China ||Xie, Zengyi · 2015
[Research Series on the Chinese Dream and China’s Development Path] Poverty Alleviation in China ||Yan, Kun · 2016
[Current Chinese Economic Report Series] Annual Report on the Development of China's Special Economic Zones (2016) ||Tao, Yitao; Yuan, Yiming · 2016
[Current Chinese Economic Report Series] Annual Report on the Development of China's Special Economic Zones (2016) || Report on the Development of Africa’s Special Economic ZonesTao, Yitao; Yuan, Yiming · 2016
[Current Chinese Economic Report Series] Annual Report on the Development of China's Special Economic Zones (2016) || Annual Report on the Development of China’s Special Economic ZonesTao, Yitao; Yuan, Yiming · 2016
[Research Series on the Chinese Dream and China’s Development Path] Annual Report on the Development of China’s Special Economic Zones(2018) (Blue Book of China's Special Economic Zones) ||Tao, Yitao; Yuan, Yiming · 2019