安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

软件工程.卷2.系统与语言规约/Dines Bjorner著 刘伯超, 向剑文等译

出版发行项:

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

ISBN及定价:

978-7-302-20891-4/CNY79.00

载体形态项:

xxvii, 646页:图;26cm

统一题名:

Software engineering.2.Specification of systems and languages

其它题名:

系统与语言规约

丛编项:

世界著名计算机教材精选

个人责任者:

比约尼尔 (Bjorner, Dines) 著

个人次要责任者:

刘伯超 译

个人次要责任者:

向剑文 译

学科主题:

软件工程-教材

中图法分类号:

TP311.5

出版发行附注:

由Springer-Verlag授权

责任者附注:

责任者Bjorner规范汉译姓 : 比约尼尔

书目附注:

有书目 (第621-646页)

提要文摘附注:

本书介绍了描述系统与语言的规约的基本原理和技术，首先讲授一些高级的原理和技术；分层与组合、指称与计算以及构型；环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术；语用、语义以及系统和语句的句法。

使用对象附注:

高校计算机专业学生、教师以及研究人员，工业和计算机产业界。

豆瓣简介：