|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Dirk Pattinson , Lutz SchröderPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2012 ed. Volume: 7399 Dimensions: Width: 15.50cm , Height: 1.40cm , Length: 23.50cm Weight: 0.454kg ISBN: 9783642327834ISBN 10: 3642327834 Pages: 259 Publication Date: 02 August 2012 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |