题名:
|
软件工程卷2:系统与语言规约 / Dines Bjorner 著 , 刘伯超, 向剑文等译 |
ISBN:
|
978-7-302-20891-4 价格: CNY79.00 |
语种:
|
chi |
载体形态:
|
646页 图 26cm |
出版发行:
|
出版地: 北京 出版社: 清华大学出版社 出版日期: 2010.1 |
内容提要:
|
本书介绍了描述系统与语言的规约的基本原理和技术。本卷首先讲授一些高级的原理和技术,然后讲授符号学建模的基本原理和技术。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。 |
主题词:
|
软件工程 |
中图分类法:
|
TP311.5 版次: 4 |
主要责任者:
|
Bjorner 著 |
主要责任者:
|
比约尼尔 著 |
次要责任者:
|
刘伯超 译 |