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

Claudel1967 年出版1557 页ISBN：

stefan n?her and dorothea wagner2001 年出版241 页ISBN：3540425128

MARGARET L.LIAL AND CHARLES D.MILLE1988 年出版572 页ISBN：

Merv Adrian1988 年出版240 页ISBN：

JOHN R.ROMANELLI·DAVID J.DESILETS2017 年出版301 页ISBN：9783319506081

查尔斯·菲迪主编；本丛书编委会编2000 年出版492 页ISBN：7900049258

Daniel R. Windle ; L. Rene Abreo2003 年出版262 页ISBN：7508315065

本书主要讨论了用于建立有效需求的系统的、易于应用的方法学，并详细阐释了需求的本质。本书的作者重点介绍了在整个需求生存周期中所会遇到的各种实际问题以及相应的解决方案：收集、分析、规范、验证以及维护...

李九宏编著2001 年出版222 页ISBN：

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

上海市计算机应用能力考核办公室编2001 年出版194 页ISBN：7810584219