|
题名:
|
形式语义学引论
Xing Shi Yu Yi Xue Yin Lun
/
周巢尘著
,
|
|
语种:
|
chi
|
|
载体形态:
|
160页
20cm
|
|
出版发行:
|
出版地：
长沙
出版社：
湖南科学技术出版社
出版日期：
1985
|
|
内容提要:
|
本书主要内容有：操作语义学，指称语义学，公理语义学，过程调用，非确定性等。
|
|
主题词:
|
计算机科学
|
|
主题词:
|
形式语义学
|
|
中图分类法:
|
TP301
版次：
4
|
|
其它题名:
|
理论计算机科学
|
|
主要责任者:
|
周巢尘
Zhou Chao Chen
著
|
|
索书号:
|
TP301/7779
|