Catalog

Record Details

Catalog Search


Back To Results
Showing Item 259 of 1174

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 259 of 1174

Additional Resources