Catalog

Record Details

Catalog Search


Back To Results
Showing Item 2 of 2

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings  Cover Image E-book E-book

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Mossakowski, Till. (editor.). Montanari, Ugo. (editor.). Haveraaen, Magne. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540738596
  • Physical Description: XI, 463 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Subject: 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.

Electronic resources


Back To Results
Showing Item 2 of 2

Additional Resources