书籍详情

形式语义学基础

形式语义学基础

作者：陈意云编著

出版社：中国科学技术大学出版社

出版时间：1994-03-01

ISBN：9787312005336

定价：¥7.50

内容简介

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

作者简介

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

目录

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

猜您喜欢

Professional VMwareServer

软件体系结构

读书导航