杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算系统的形式语义/陆汝钤著

出版发行项:

北京:清华大学出版社,2017.01

ISBN及定价:

978-7-302-41494-0 精装/CNY398.00(全2册)

载体形态项:

2册(17,1856页);24cm

中图法分类号:

TP301.2

一般附注:

国家科学技术学术著作出版基金

提要文摘附注:

本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用，分别介绍分布式系统、移动计算和移动通信系统等形式语

使用对象附注:

一般读者

豆瓣简介：