Fundamental Proof Methods in Computer Science: A Computer-Based Approach

Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods

Software Prototyping, Formal Methods, and VDM (International Computer Science)

Relational Methods in Computer Science (Advances in ...

Relational Methods in Computer Science, Paperback by Maccaull, Wendy (EDT); W...

Mathematical and Engineering Methods in Computer Science : 8th International ...

Problem Solving Methods in Artificial Intelligence Nilsson 1971 Computer Science

Relational Methods in Computer Science, Paperback by Maccaull, Wendy (EDT); W...