Programming from Specifications (Prentice Hall I... by Morgan, Carroll Paperback

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

Verifiable Programming (Prentice-hall International Series in Computer Science)

Computer Science: A Modern Introduction (Prentice-Hall International English...

Prentice-Hall International Series in Computer Science: Object-Oriented Software

Logic and Objects (Prentice-hall International Series in Computer Science), McCa

Introduction to Pascal (Prentice-Hall International series in computer scien...

Maths For Computer Science (Prentice-Hall International Series in... - Arnold