《软件工程系统与语言规约》高清PDF

作者：（丹）比约纳（Bjorner，D.）著 出版：北京：清华大学出版社页数：802 ✅ 真实服务 非骗流量 ❤️ 出版时间：2007.07 （求助前请核对清楚）求助编号：9402120130 （学习资料勿作它用）求助格式：PDF（无水印/扫描版）我要投诉重要说明：求助即说明同意《文件求助条款》 Word/doc、ePubb、mobi、PPT、TXT

《软件工程．抽象与建模》高清PDF下载（丹）比约纳（Bjorner，D.）著 2007.07 《软件工程领域、需求与软件设计》高清PDF下载 DINES BJORNER 2007.08 《软件工程基础第2版》高清PDF下载（意）盖伊（Ghezzi，C.），（意）查耶（Jazayeri，M.），（意）曼德若利（Mandrioli，D.）著 2006.01 《软件工程实践者之路第6版》高清PDF下载（美）普雷斯曼（Pressman，R.S.）著 2006.06 《软件工程面向对象和传统的方法第7版》高清PDF下载（美）沙赫（Schach，S.R.）著 2007.02 《软件工程》高清PDF下载李浪，朱雅莉，熊江主编；赵辉煌，易小波，屈喜龙等副主编 2013.09 《软件工程学教程》高清PDF下载陈明编著 2013.08 《软件工程》高清PDF下载陆惠恩编著 2007.08 《软件工程》高清PDF下载万江平编著 2006.08 《软件工程案例教程第2版》高清PDF下载魏雪峰，葛文庚主编；王春华，刘会超，张银玲副主编；耿红琴主审 2018.08

本书介绍系统与语言的规约的基本原理和技术。

📙 相关书籍

《软件工程．抽象与建模》高清PDF 本书介绍抽象与建模的基本原理和技巧。...
《软件工程领域、需求与软件设计》高清PDF 这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正......
《软件工程基础第2版》高清PDF 本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面而深入地介绍了这些基本原则在软件设计、规范、验证、软件生产过程和管理活动中的运用；书中提供了大量的练习……...
《软件工程实践者之路第6版》高清PDF 本书全面系统介绍软件工程有关的概念、原则和工具，还适当介绍了新技术。...
《软件工程面向对象和传统的方法第7版》高清PDF 本书对软件工程的基础知识（包括面向对象和传统方法）进行了严谨和全面的介绍，是软件工程领域的经典著作，被加州大学伯克利分校等180多所美国高校选作教材，至今已是第7版。新版中着重扩展了敏捷过程和开源软件的内容。此外，崭新的Martha Stockton Greengage……...
《软件工程》高清PDF 》是结合多年教学和实践经验、参考国内外有关著作(文献)而编写的一本软件工程实用教程。全书针对初学者的...
《软件工程学教程》高清PDF 本书主要内容包括软件工程概述、软件项目分析、软件需求工程、软件项目概要设计、软件项目详细设计、面向对象的分析与设计等。...
《软件工程》高清PDF ...
《软件工程》高清PDF 高等学校计算机科学与技术教材:本书运用了前沿的科学知识和系统科学来处理软件和软件工程的复杂性。使用了IEEE的软件工程知识体系（SWEBOK2004）、著名的软件过程成熟度模型（CMM/CMMI）和NASA的软件开发实践经验。针对中国的实际情况和软件产业发展情况，突出了软件质量管理和软件过程改进，采......
《软件工程案例教程第2版》高清PDF 本书根据教育部应用型科技大学的教学要求和近期新大纲编写而成。全书分4个模块，涵盖软件工程基础知识、结构化软件分析和设计、面向对象软件分析和设计、软件实现、软件测试、软件维护、软件项目管理和质量保证、软件文档、软件开发案例、分析建模工具等方面的内容。每章配有知识链接、知识拓展和习题，引导读者深入地进行......