| 《软件工程卷2:系统与语言规约》：世界著名计算机教材精选。 |
| 原著作者为中文版所作的序 译者译 序言 i 开篇 1 序言 ii 规约刻面 2 层次与复合 3 指称和计算 4 格局：上下文和状态 iii 关键领域和系统刻面 5 时间、空间和空间/时间 iv 语言学 6 语用 7 语义 8 句法 9 符号体系 v 其他规约技术 10 模块化 11 自动机和机器 vi 并发和时态 12 佩特里网 13 消息和活序列图 14 状态图 15 时间的定量模型 vii 解释器和编译器定义 16 sal：简单应用式语言 17 sil：简单命令式语言 18 smil：简单模块命令式语言 19 spil：简单并行命令式语言 viii 结束语 20 结束语 ix 附录 |
内容加载中，请稍后...
商品评论（0条）