Coalgebraic Methods in Computer Science
Subtitle: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
By: edited by Dirk Pattinson, Lutz Schröder
Contributors: Schröder, Lutz; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7399
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642327841
Subjects: Mathematical Logic and Formal Languages; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Probability and Statistics in Computer Science