ISBN/价格: | 978-7-302-20891-4:CNY79.00 |
作品语种: | chi ger |
出版国别: | CN 110000 |
题名责任者项: | 软件工程卷/.(德)比约尼尔著/.刘伯超, 向剑文等译 |
出版发行项: | 北京:,清华大学出版社:,2010 |
载体形态项: | 646页:;+插图:;+26cm |
丛编项: | 世界著名计算机教材精选 |
提要文摘: | 《软件工程卷1~3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjφrner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计,即软件工程的三个相互关联并重叠的组成部分,或称之为软件工程的“三部曲”。 |
并列题名: | Software Engineering 2: Specification of Systems and Languages eng |
题名主题: | 软件工程 教材 |
中图分类: | TP311.5-43 |
个人名称等同: | 比约尼尔 (德) 著 |
个人名称次要: | 刘伯超 译 |
---|
个人名称次要: | 向剑文 译 |
记录来源: | CN 昆明新知图书城 20100111 |
---|
记录来源: | CN PCL 20100917 |