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

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

Computer Science: A Modern Introduction (Prentice-hall International Series in,

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

Computer Science: A Modern Introduction (Prentice Hall International Series in C

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

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

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