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-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3629 0302-9743 ; .

9783540318767


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.M35 / F53 2005