西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式语义学基础与形式说明/屈延文编著

版本说明:

2版

出版发行项:

北京:科学出版社,2010

ISBN及定价:

978-7-03-026238-7/CNY59.00

载体形态项:

11,496页;24cm

丛编项:

中国信息安全测评中心系列丛书

个人责任者:

屈延文 编著

学科主题:

形式语义学

中图法分类号:

TP301.2

责任者附注:

屈延文，现任信息产业部太极联合实验室主任，国家金卡工程办公室安全组组长。长期从事计算机科学、操作系统、软件工程、系统工程、系统安全和信息化总体技术的研究工作。

提要文摘附注:

本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。

豆瓣简介：