|
题名:
|
计算机语言的形式语义 / 陆汝钤编著 , |
|
ISBN:
|
7-03-003022-2 价格： $21 |
|
语种:
|
chi |
|
载体形态:
|
886页 20cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 1992.12 |
|
内容提要:
|
本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容,并辟一章集中讨论了并发和分布式语义。 |
|
主题词:
|
程序语言-形式-语义学 |
|
主题词:
|
形式-语义学-程序语言 |
|
中图分类法:
|
TP301.2 版次： 三版 |
|
主要责任者:
|
陆汝钤 编著 |
|
附注:
|
中国科学院科学出版基金资助项目 |
|
补充题名:
|
计算机 形式 语义 |
|
科图分类法:
|
73.87 版次： |