Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / [electronic resource] :
edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4624 0302-9743 ; .
9783540738596
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