verification of sequential and concurrent programs-third extended edition

【文件属性】：

文件名称：verification of sequential and concurrent programs-third extended edition

文件大小：2.48MB

文件格式：PDF

更新时间：2015-04-12 07:50:16

verification

verification of sequential and concurrent programs-third extended edition，一本很实用的英文书