Fiadeiro, José Luiz.
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / [electronic resource] : edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3629 0302-9743 ; . - Lecture Notes in Computer Science, 3629 .
9783540318767
10.1007/11548133 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / [electronic resource] : edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3629 0302-9743 ; . - Lecture Notes in Computer Science, 3629 .
9783540318767
10.1007/11548133 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.
QA76.9.L63 QA76.5913 QA76.63
005.1015113