Prentice Hall International Series in Computer Science: Programming from...

Verifiable Programming (Prentice-hall International Series in Computer Scien...

Reasoned Programming (Prentice-Hall International Series in Computer Science) Ei

Object-Oriented Programming in Eiffel (International Computer Science Series...

Programming in ADA (International computer science series),J.G ,

Programming Language Essentials (International Computer Science Series)

The C++ programming language (Addison-Wesley series in computer science)

Concurrent Programming (International Computer Science Series)