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

2222 年出版254 页ISBN：017761627X

中华人民共和国，上海电器成套厂编2222 年出版6 页ISBN：

WILLIAM G.NICKELS JAMES M.MCHUGH SUSAN M.MCHUGH2002 年出版712 页ISBN：0072320540

CAMPBELL R.MCCONNELL STANLEY L.BRUE THOMAS P.BARBIERO1999 年出版580 页ISBN：0075604590

jorge sa silva and bhaskar krishnamachari and fernando boavida2010 年出版340 页ISBN：3642119163

technology1993 年出版437 页ISBN：

（美）Kyle Brown，（美）Kenyon Brown等著；云舟工作室译2001 年出版634 页ISBN：798004469X

莲花软件（中国）有限公司编2000 年出版174 页ISBN：7118022268

2222 年出版775 页ISBN：

2222 年出版1540 页ISBN：