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

M.Loeve2000 年出版425 页ISBN：7506200759

JAMES A.HEINTA AND ROBERT W.PARRY2005 年出版374 页ISBN：0324201486

GARY W.CORDNER AND KATHRYN E.SCARBOROUGH2010 年出版531 页ISBN：1422463249

KEVIN T.PATTON AND GARY A.THIBODEAU2013 年出版1154 页ISBN：9996086062

李劬编著1997 年出版288 页ISBN：7502743898

北京义驰美迪技术开发有限责任公司编1997 年出版319 页ISBN：7801244400

北京义弛美迪技术开发有限责任公司编2000 年出版303 页ISBN：7502748776

GERALD E.WAGNER JOHN B.CRAWFORD DONALD R.GRUVER2222 年出版278 页ISBN：0538103000

Sor Juana Inés de la Cruz2004 年出版943 页ISBN：

JAMES L.PAPPAS EUGENE F.BRIGHAM MARK HIRSCHEY2222 年出版0 页ISBN：