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

Lecture Notes in Computer Science Ser.: Formal Methods Teaching : 6th Formal...

Extremal Combinatorics: With Applications in Computer Science by Stasys Jukna

Problem Solving Methods in Artificial Intelligence Nilsson 1971 Computer Science

Guide to Teaching Computer Science an Activity-Based Approach by Tami Lapidot

Relational and Algebraic Methods in Computer Science: 22nd International Confere

Formal Methods in Computer Science - 9781498775328

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