Real-Time Software For Control:Program Examples in C
1990 年出版493 页ISBN：0137628242
SOFTWARE GOES TO SCHOOL TEACHING FOR UNDERSTANDING WITH NEW TECHNOLOGIES
1995 年出版288 页ISBN：0195115775
Software Engineering Apractitioner's Approach Seventh Edition
2010 年出版895 页ISBN：9780073375977
CASE Using Software Development Tools Second Edition
1991 年出版332 页ISBN：0471530425
SOFTWARE ENGINEERING THEORY AND PRACTICE SECOND EDITION
2001 年出版660 页ISBN：0130290491
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 3324 Technologies for E-Services 5th International Workshop
TES 20042005 年出版171 页ISBN：3540250492
Lecture Notes in Computer Science 4116 Security and Cryptography for Networks 5th International Conf
SCN 20062006 年出版364 页ISBN：3540380809
