 |
0 索取号:TN92/E20031 作者:Reed、 Jeffrey Hugh.、 出版社:Upper Saddle River, N.J. : Prentice Hall, c2002.
|  |
0 索取号:TP311.5-532/E20023/11 作者:International Symposium on Software Reliability Engineering (11th : 2000 : San Jose、California、USA)、IEEE Computer Society. Technical Council on Software Engineering.、IEEE Reliability Society.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, 2000.
|
 |
0 索取号:TP311.52-532/E20021/2001 作者:Oliveira、J.N.、International Symposium of Formal Methods Europe (10th : 2001 : Berlin、 Germany)、Oliveira、 JosN.、Zave、 Pamela、 1948-、 出版社:Berlin ; New York : Springer, c2001.
|  |
0 索取号:TP311.5/E20021 作者: 出版社:Berlin ; New York : Springer, c2001.
|
 |
0 索取号:TP311.5/E20022 作者: 出版社:New York : Springer, c2002.
|  |
0 索取号:TP311/E20021 作者:Lind、 Jurgen、 1968-、 出版社:Berlin ; New York : Springer, c2001.
|
 |
0 索取号:TP311.5/E20018 作者:Heineman、G.T.and Councill、W.T.、Heineman、 George T.、Councill、 William T.、 出版社:Boston, MA : Addison-Wesley, c2001.
|  |
0 索取号:TP311-532/E20021/33 作者:International Conference on Technology of Object-Oriented Languages (33rd : 2000 : Mont-Saint-Michel、 France)、Mitchell、 Richard.、France. Direction ǵЕńЕrale de l'armement.、Interactive Software Engineering、 Inc.、IEEE Computer Society.、Institut national de recherche en informatique et en automatique (France)、 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2000.
|
 |
0 索取号:TP311.5-532/E20021/4 作者:International Conference on Requirements Engineering (4th : 2000 : Schaumburg、 Ill.)、IEEE Computer Society. Software Engineering Technical Council.、Lucent Technologies (Firm)、FUJITSU、Rational (Firm)、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c2000.
|  |
0 索取号:TP31/E9030.3 作者:Pressman、 Roger S.、 出版社:New York : McGraw-Hill, c1992.
|
 |
0 索取号:TP311.5/E20015 作者: 出版社:Berlin : Springer, 2001.
|  |
0 索取号:TP311.5/E20016 作者: 出版社:Boston : Kluwer Academic, c2000.
|
 |
0 索取号:TP31-53/E901/1999 作者:COMPSAC (23rd : 1999 : Phoenix、 Ariz.)、IEEE Computer Society.、 出版社:Los Alamitos, California : IEEE Computer Society Press, c1999.
|  |
0 索取号:TP311.5/E20011.2 作者:Meyer、 Bertrand、 1950-、 出版社:Upper Saddle River, N.J. : Prentice Hall PTR, c1997.
|
 |
0 索取号:TP31/E20014 作者:Lu、 Ruqian、 1935-、Jin、 Zhi、 1962-、 出版社:Boston, MA : Kluwer Academic, c2000.
|  |
0 索取号:TP311.5/E20012 作者:Bashir、 Imran.、Goel、 Amrit L.、 出版社:New York : Springer, c1999.
|