Categories for Software Engineering [electronic resource] /
by José Luiz Fiadeiro.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
9783540268918
Computer science Software engineering Logic design Logic, Symbolic and mathematical Computer Science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematics of Computing Mathematical Logic and Foundations