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

Unsettling Opera: Staging Mozart, Verdi, Wagner, and... - Levin, David J. J.

Concurrent Programming (International Computer Science Series)

Programming Language Essentials (International Computer Science Series)

Introduction Functional Programming (Prentice-Hall Series in Computer Science),

Concurrent Programming (International Computer Science Series),P

Programming Language Essentials (International Computer Science Series) By H. B

Algorithms: A Functional Programming Approach (International Computer Science...