-
北大裘宗燕老师的《B方法讲义》，形式化方法讲义，B语言用于编写软件规范，指导严谨的编码过程。
大小：3.38MB | 2020-05-26 22:13:36 -
Hoare著，周巢尘译。包含三个文件，Hoare2004英文修改版，Hoare2015年英文修改版，...
大小：5.39MB | 2019-09-23 05:52:52 -
微软研发致胜策略，侧重项目管理，科学的团队组合，资源配置和进程管理。
大小：356.62KB | 2019-09-08 18:57:36 -
微软研发致胜策略，侧重项目管理，科学的团队组合，资源配置和进程管理。
大小：356.62KB | 2019-09-08 18:57:36 -
汇编教程，本人收集的，有4个文档，供对汇编感兴趣的朋友学习使用。希望有帮助。
大小：2.18MB | 2019-07-11 13:44:58 -
嵌入式系统的微模块化程序设计-实用状态图CC++实现，UML状态图的实用CC++设计，第一版中英文，...
大小：24.11MB | 2019-06-04 12:15:35 -
程序调试思想与实践，专业的讲述程序的调试方法。
大小：11.06MB | 2019-06-04 06:08:53 -
大小：0 | 2019-03-05 21:00:53
-
大小：0 | 2019-01-04 07:08:32
-
一个ppt，一个英文pdf，对于进程代数的了解有点帮助！
大小：1.39MB | 2018-12-28 22:34:44
Ta的上传资源列表