|
题名:
|
软件工程 / (丹) Dines Bjфrner著 , 刘伯超，向剑文等译 |
|
ISBN:
|
978-7-302-20891-4 价格： CNY79.00 |
|
语种:
|
chi |
|
载体形态:
|
27,646页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2010 |
|
内容提要:
|
本书介绍了描述系统与语言的规约的基本原理和技术。首先，本卷讲授一些高级的原理和技术：分层与组合、指称与计算以及构型：环境与状态的抽象与建模，然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法。 |
|
主题词:
|
软件工程 |
|
中图分类法:
|
TP311.5 版次： 4 |
|
其它题名:
|
系统与语言规约 |
|
主要责任者:
|
比约恩埃尔 著 |
|
次要责任者:
|
刘伯超 译 |
|
次要责任者:
|
向剑文 译 |
|
责任者附注:
|
著者规范汉译姓: 比约恩埃尔 |
|
责任者附注:
|
Dines Bjфrner，冯诺依曼奖章获得者、世界著名计算机科学家。 |
|
索书号:
|
1 |