Algebraic Informatics
Traian Muntean, Dimitrios Poulakis, Robert Rolland
Algebraic Informatics - Springer 2013 - Lecture Notes in Computer Science .
9783642406638
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Software Engineering; Discrete Mathematics in Computer Science; Mathematics of Computing
Algebraic Informatics - Springer 2013 - Lecture Notes in Computer Science .
9783642406638
Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Software Engineering; Discrete Mathematics in Computer Science; Mathematics of Computing