注册 | 登录读书好，好读书，读好书！

当前位置：首页出版图书科学技术计算机/网络软件工程及软件方法学形式语义学基础

形式语义学基础

形式语义学基础

定　价：¥7.50

作　者：	陈意云编著
出版社：	中国科学技术大学出版社
丛编项：
标　签：	形式语义学

ISBN：	9787312005336	出版时间：	1994-03-01	包装：
开本：	26cm	页数：	237页	字数：

内容简介

　　本书介绍了程序设计语言形式语义方面的技术，其中有语义、公理语义、指称语义、代数规范的初始语义等。

作者简介

暂缺《形式语义学基础》作者简介

图书目录

暂缺《形式语义学基础》目录

本目录推荐