Screen Library软件工程. 卷2, 系统与语言规约 = Software engineering. 2, Specification of systems and languages
Saved in:
| Main Authors: | |
|---|---|
| Group Author: | |
| Published: |
清华大学出版社
|
| Publisher Address: | 北京 |
| Publication Dates: | 2010 |
| Literature type: | Book |
| Language: | Chinese |
| Subjects: | |
| Carrier Form: | 27,646页: ; 26cm |
| ISBN: | 978-7-302-20891-4 |
| Index Number: | TP311 |
| CLC: | TP311.5 |
| Call Number: | TP311.5/2727-1#2 |
| Contents: |
世界著名计算机教材精选 本书介绍了描述系统与语言的规约的基本原理和技术，内容包括：规约刻面、关键领域和系统刻面、语言学、并发和时态、解释器和编译器定义等。 |