Fiadeiro, José Luiz.
Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital.
9783540268918
10.1007/b138249 doi
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.
QA76.758
005.1
Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital.
9783540268918
10.1007/b138249 doi
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.
QA76.758
005.1