Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
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-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3423 0302-9743 ; .
9783540319597
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.76.D47 / F53 2005
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-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3423 0302-9743 ; .
9783540319597
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.76.D47 / F53 2005