Verification of Sequential and Concurrent Programs

u698562516 30 0 PDF 2018-12-24 21:12:06

并发程序的验证方法和基础.对于编写并行程序、并行程序测试、程序正确性验证等方面的同学值得一看

推荐下载

反冲,并发模式

j-concurrent 00 IBM developerWorks 中国 : Java 多线程与并发编程专题 02 Java 程序中的多线程 03 编写多线程的 Java 应用程序 04 如果我是国

引入了强大的编程方法-大多数Perl程序员都不熟悉-并展示了如何改进日常程序。还包括许多引人入胜的代码示例,以说明这些方法。

88 c programs The author included example programs that exhaustively illustrate the important points

对程序员而言是一本不错的参考书目,深入阐释了程序可能存在的问题和发生BUG的一些细节,通读这本书,对提高代码质量有极大益处

发现《why programs fail》有一些很特别的话有些调试方法确实经典还是写好自己的junit吧调试的六个阶段: 1 这不可能发生在我身上 2 它没有发生在我的机器上 3 它不该发生 4

teach yourself how to program on a parallel machine

C语言本身相比C++,JAVA等高级语言要更接近底层硬件,要保证用C写的代码能运行在多个平台上,在写代码的时候就要考虑程序的可移植性,本书重点介绍了写可移植性代码要注意的地方

用户评论

请输入评论内容

评分：

卡了网匿名网友 2018-12-24 21:12:06

比较经典的书，只是比较长，学习起来有点费时