wupengyuan的博客

软件开发的形式化方法。语义学方面的教材。

2011-05-31

软件工程的形式化方法，这是序列二。David Parnas教授的论文关于Tabular 表达式的

2010-11-09

软件工程形式化方法的相关参考文章，大家下载吧。这是序列一

2010-11-09

android开发官方指导 [Android应用程序开发].Android.Application.Development.-.Programming.With.The.Google.Sdk.(O'reilly,.2009,.0596521472).pdf

2010-04-23

北航组成原理试题（3年考试+3年真题）.rar 考研的同学请下载！

2009-03-15

TA创建的收藏夹 TA关注的收藏夹

TA关注的人