Object-Oriented Software Construction by Meyer

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

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

Object-Oriented Software Construction by Bertrand Meyer

Object-oriented Software Construction by Meyer, Bertrand Hardback Book The Fast

Object-Oriented Software Construction (Prentice-Hall International series - GOOD

Object-Oriented Software Construction

Object-Oriented Software Construction Hardcover Bertrand Meyer