Verification of Sequential and Concurrent Programs Second Edition
1997 年出版364 页ISBN：0387948961
BASIC BY DESIGN Structured Computer Programming in BASIC
1983 年出版489 页ISBN：0130602698
ARCHITECTURE-INDEPENDENT PROGRAMMING FOR WIRELESS SENSOR NETWORKS
2008 年出版187 页ISBN：9780471778899
SOFTWARE QUALITY ASSURANCE VOLUME II A PROGRAM GUIDE
1988 年出版167 页ISBN：0138231397
Federico Biancuzzi and Shane Warden2010 年出版482 页ISBN：9787564122621
《编程大师智慧》的主要特色在于多位编程语言发明者的独家采访，他们发明的这些编程语言极具历史意义，对于当下的信息社会产生了重大影响。从这部独特的采访集中，你将了解到某些特殊设计决定产生的过程，包括这些...
Essential Interviewing：A Programmed Approach to Effective Communication
2222 年出版209 页ISBN：0534029647
PASCAL PROBLEM SOLVING AND PROGRAM DESIGN FOURTH EDITION
1992 年出版862 页ISBN：0201527103
PROGRAMMING FOR ARTIFICIAL INTELLIGENCE Methods Tools and Applications
2222 年出版682 页ISBN：0201416212
