Fiadeiro, José Luiz.
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / [electronic resource] : edited by José Luiz Fiadeiro, Pierre-Yves Schobbens. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4409 0302-9743 ; . - Lecture Notes in Computer Science, 4409 .
9783540719984
10.1007/978-3-540-71998-4 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 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / [electronic resource] : edited by José Luiz Fiadeiro, Pierre-Yves Schobbens. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4409 0302-9743 ; . - Lecture Notes in Computer Science, 4409 .
9783540719984
10.1007/978-3-540-71998-4 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