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

Online Public Access Catalogue

题名/责任者:

软件工程.卷2.系统与语言规约/(丹)Dines Bjфrner著 刘伯超，向剑文等译

出版发行项:

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

ISBN及定价:

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

载体形态项:

27,646页;26cm

并列正题名:

Software engineering.2.Specification of systems and languages

个人责任者:

(丹) 比约恩埃尔 (Bjфrner, Dines) 著

个人次要责任者:

刘伯超 译

个人次要责任者:

向剑文 译

学科主题:

软件工程-教材

学科主题:

软件工程

中图法分类号:

TP311.5

一般附注:

世界著名计算机教材精选

提要文摘附注:

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

豆瓣简介：