Algebra and Coalgebra in Computer Science
Subtitle: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: José Luis Fiadeiro (Editor); Neil Harman (Editor); Markus Roggenbach (Editor); Jan Rutten (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 21, 2005
Language: eng
Format: Paperback
Number of pages: 457
ISBN-13: 9783540286202
Subjects: Mathematical theory of computation; Mathematics; Computers; Algebra; Computers - General Information; Logic Design; Computer Books: Languages; Logic; Programming - Software Development; Computers / Logic Design; automata; calculi; formal methods; formal testing; modelling; quality assurance; relational systems; semantics of programming; Computer science; Congresses