软件工程. 卷2, 系统与语言规约 = Software engineering. 2, Specification of systems and languages
Saved in:
Main Authors: | |
---|---|
Published: |
清华大学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2007 |
Literature type: | Book |
Language: | English |
Edition: | 影印版 |
Subjects: | |
Carrier Form: | 24,777页: ; 23cm |
ISBN: | 978-7-302-15432-7 |
Index Number: | TP311 |
CLC: | TP311.5 |
Call Number: | TP311.5/2722#2 |
Contents: |
大学计算机教育国外著名教材系列 本书介绍了描述系统与语言的规约的基本原理和技术。首先讲授一些高级的原理和技术:分层与组合、指标与计算以及构型;然后讲授符号学建模的基本原理和技术:语用、语义以及系统和语言的句法;最后介绍了开发函数式,命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。 |