ISBN/价格: | 978-7-302-20891-4:CNY79.00 |
---|---|
作品语种: | chi eng |
出版国别: | CN 110000 |
题名责任者项: | 软件工程/.Dines Bjorner著/.刘伯超, 向剑文等译 |
出版发行项: | 北京:,清华大学出版社:,2010 |
载体形态项: | xxvii, 646页:;+图:;+26cm |
丛编项: | 世界著名计算机教材精选 |
提要文摘: | 本书介绍了描述系统与语言的规约的基本原理和技术,首先讲授一些高级的原理和技术;分层与组合、指称与计算以及构型;环境与状态的抽象与建模,然后讲授符号学建模的基本原理和技术;语用、语义以及系统和语句的句法。 |
题名主题: | 软件工程 教材 |
中图分类: | TP311.5 |
中图分类: | TP311.5 |
个人名称等同: | 比约尼尔 著 |
个人名称次要: | 刘伯超 译 |
个人名称次要: | 向剑文 译 |
记录来源: | CN 江苏新华 20100415 |