Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop 相关电子书下载

1985 年出版377 页ISBN：0444878300

[英]凯特·格林 [英]乔·克斯雷著2003 年出版222 页ISBN：

MICHAEL R.KATZ2222 年出版258 页ISBN：0393976120

Wei Peh Ti1982 年出版130 页ISBN：0195813960

（美）（C.理查兹）Cate Richards著；王建华等译1997 年出版313 页ISBN：7111058739

Gerald M.Weinberg;Dennis P.Geller.1985 年出版657 页ISBN：

Jack B.Rochester and John Gantz1983 年出版335 页ISBN：

FRANK PUGH WES PONICK2003 年出版482 页ISBN：0078271258

BOSCH inveted for life2011 年出版1265 页ISBN：1119975564

Shane Bullock Elizabeth Manias2014 年出版1222 页ISBN：1442563100