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

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue