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

STEVE NELSON1955 年出版256 页ISBN：

（美）（布卢姆）Chares Blum等著；郭萌等译1997 年出版192 页ISBN：7505335251

Anthony Giddens2017 年出版1130 页ISBN：9780745696683

Shirley Biagi2001 年出版616 页ISBN：0534575102

ROBERT FUERST1983 年出版670 页ISBN：0721639445

Robert Blitzer2014 年出版1277 页ISBN：0321837349

Gary Carey2003 年出版0 页ISBN：

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

TONY OBRIEN2222 年出版78 页ISBN：

MARGARET MANSFIELD1971 年出版79 页ISBN：