4 books • 4 series
Understanding Programming Languages
Dependable and Historic Computing (Lecture Notes in Computer Science, #6875) (Theoretical Computer Science and General Issues, #6875)
Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science, #370)
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)