Chad Brand 编 /B&HPublishingGroup /2011-11 /平装
Michael Hauben 著 /John Wiley /1997-04 /其他
Gerard J. Holzmann、Bj.rn Pehrson 著 /Wiley-IEEE Computer Society Pr /1994-12 /平装