Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
SOFTWARE FOR COMPUTER CONTROL 1982
G.FERRATE AND E.A.PUENTE2222 年出版528 页ISBN：0080293522
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
法理寻真 论科学技术发展对法学理论的影响 on the influence of the development of science and technology on jurisprudence
王梅著2006 年出版367 页ISBN：7010057583
本书是一部在博士论文基础上，又经过六年潜心研究的学术专著。全书共分五章：一、科学技术发展与法学本体论；二、科学技术发展与法学认识论；三、科学技术发展与法学价值论；四、科学技术发展与法学方法论；五、科学.....
COMPUTER SOFTWARE FOR DATA COMMUNICATIONS
WILLIAM D.SKEES2222 年出版163 页ISBN：0534979793
COMPUTER-AIDED SOFTWARE DESIGN BUILD QUALITY SOFTWARE WITH CASE
MAX SCHINDLER2222 年出版475 页ISBN：
QUALITY ASSURANCE FOR COMPUTER SOFTWARE
ROBERT DUNN AND RICHARD ULLMAN2222 年出版351 页ISBN：
Computer games and software engineering
Kendra M. L. Cooper ; Walt Scacchi2015 年出版296 页ISBN：1482226683
