《软件开发的形式化工程方法》高清PDF
作者:(日)刘少英著
出版:北京:清华大学出版社
页数:408 ✅ 真实服务 非骗流量 ❤️
出版时间:2008.08 (求助前请核对清楚)
求助编号:9402140730 (学习资料 勿作它用)
求助格式:PDF(无水印/扫描版)我要投诉
重要说明:求助即说明同意《文件求助条款》 Word/doc、ePubb、mobi、PPT、TXT
《软件开发 结构化编程 初级》高清PDF下载 (英)苏格兰学历管理委员会著 2005.08
《软件开发 结构化编程:高级》高清PDF下载 苏格兰学历管理委员会著 2005.08
《软件开发 面向对象的程序设计:高级》高清PDF下载 苏格兰学历管理委员会著 2005.08
《UML项目管理的过程质量保证》高清PDF下载 昂黑尔纳(UnhelRar,B.)著 2004.09
《嵌入式软件基础 C语言与汇编的融合》高清PDF下载 (美)刘易斯(Lewis,D.W.)著 2004.08
《Java网络程序设计与分布式计算》高清PDF下载 (美)赖利(Reilly,D.),(美)赖利(Michael Reilly,M.)著 2004.10
《Java程序设计教程 原书第7版 英文版》高清PDF下载 (美)约翰·刘易斯,(美)威廉·洛夫特斯著 2012.03
《计算机软件开发技术与应用》高清PDF下载 丛培盛,龚沛曾主编 2012.02
《软件构架实践 原书第3版 英文》高清PDF下载 LenBass,PaulClements,RickKazman著 2013.02
《软件工程与计算 卷2 软件开发的技术基础》高清PDF下载 络斌主编 2012.12
本书主要包括:有限状态机、Statechart、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、2、VDM和Larch等。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。