Fiadeiro, José Luiz.
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / [electronic resource] : edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3423 0302-9743 ; . - Lecture Notes in Computer Science, 3423 .
9783540319597
10.1007/b107129 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
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / [electronic resource] : edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3423 0302-9743 ; . - Lecture Notes in Computer Science, 3423 .
9783540319597
10.1007/b107129 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