PROBLEM SOLVING AND PROGRAM DESIGN IN C
JERI R.HANLY ELLIOT B.KOFFMAN FRANK L.FRIEDMAN1993 年出版729 页ISBN：0201576538
PROBLEM SOLVING & PROGRAM DESIGN IN C THIRD EDITION UPDATE
2222 年出版770 页ISBN：0201754908
PROBLEM SOLVING AND PROGRAM DESIGN IN C THIRD EDITION
1999 年出版770 页ISBN：0201357488
AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
ALI MILI1985 年出版291 页ISBN：0442263228
PROBLEM SOLVING AND PROGRAM DESIGN IN C SECOND EDITION
JERI R.HANLY ELLIOT B.KOFFMAN1996 年出版724 页ISBN：0201590638
Real-Time Software For Control:Program Examples in C
1990 年出版493 页ISBN：0137628242
INVITANTION TO LANGUAGES FOREIGN LANGUAGN EXPLORATORY PROGRAM
CONRAD J.SCHMITT1998 年出版298 页ISBN：
