Catalog

Record Details

Catalog Search



Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers / edited by Dirk Pattinson, Lutz Schröder.

Pattinson, Dirk. (editor.). Schröder, Lutz. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642327841
  • Physical Description: VII, 259 p. 7 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: Computer science.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Probability and Statistics in Computer Science.

Additional Resources