Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated With ETAPS 2012, Tallinn, Estonia, March 31 - April 1 2012 : Revised Selected Papers - Lecture Notes in Computer Science

Workshop on Coalgebraic Methods in Computer Science, Dirk Pattinson, Lutz Schröder, International Federation for Information Processing, ETAPS (Conference)

2012

Paperback (02 Aug 2012)

Save $7.46

RRP $62.44
$54.98

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Book information

ISBN:	9783642327834
Publisher:	Springer Berlin Heidelberg
Imprint:	Springer
Pub date:	02 Aug 2012
Edition:	2012
DEWEY:	004.0151
DEWEY edition:	23
Language:	English
Number of pages:	258
Weight:	415g
Height:	234mm
Width:	156mm
Spine width:	14mm