Catalog

Record Details

Catalog Search


Search Results Showing Item 1 of 1

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

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

Electronic resources

Record details

  • ISBN: 9783642327841
  • Physical Description: electronic
    electronic resource
    access
    remote
    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
Search Results Showing Item 1 of 1

Additional Resources