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

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

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

Problem Solving Methods in Artificial Intelligence Nilsson 1971 Computer Science

Formal Methods in Computer Science - 9781498775328

Formal Languages and Compilation (Texts in Computer Science) Stefano Crespi

Boolean Models and Methods in Mathematics, Computer Science, and Engineering HC

Relational and Algebraic Methods in Computer Science : 19th International Con...