MARC状态：审校 文献类型：中文图书 浏览次数：13
- 题名/责任者:
- 软件工程.卷2.系统与语言规约/Dines Bjorner[著]
- 版本说明:
- 影印版
- 出版发行项:
- 北京:清华大学出版社,2007
- ISBN及定价:
- 978-7-302-15432-7/CNY79.00
- 载体形态项:
- 24,777页;23cm
- 并列正题名:
- Software engineering.2.Specification of systems and languages
- 其它题名:
- 系统与语言规约
- 个人责任者:
- (丹) 比约纳 D. 著
- 个人责任者:
- (丹) Bjorner Dines 著
- 学科主题:
- 软件工程-高等学校-教材-英文
- 中图法分类号:
- TP311.5
- 一般附注:
- 大学计算机教育国外著名教材系列
- 版本附注:
- Springer-Verlag授权出版发行
- 提要文摘附注:
- 本书介绍了描述系统与语言的规约的基本原理和技术。首先讲授一些高级的原理和技术：分层与组合、指标与计算以及构型；然后讲授符号学建模的基本原理和技术：语用、语义以及系统和语言的句法；最后介绍了开发函数式，命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。
全部MARC细节信息>>
鄞州馆参阅区(阅览)