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

2011 年出版221 页ISBN：9780521194693

姜楠，姜欣等编写2001 年出版222 页ISBN：7900056521

北京清华京渝天河公司编2222 年出版372 页ISBN：

LAWS2012 年出版368 页ISBN：

Eric N.Berkowitz Roger A.Kerin Steven W.Hartley2222 年出版736 页ISBN：0073656453

MICHAEL J.ETZEL BRUCE J.WALKER WILLIAM J.STANTON2001 年出版674 页ISBN：0072430346

CARL S.WARREN JAMES M.REEVE PHILIP E.FESS1999 年出版981 页ISBN：0538869720

JEWEL VARNADO1990 年出版112 页ISBN：0811440621

曙光信息产业有限公司编1997 年出版431 页ISBN：7505342738

（美）（C.理查兹）Cate Richards等著；康博创作室译1998 年出版241 页ISBN：711106612X