Coalgebraic Methods in Computer Science

12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Theory, Science & Nature, Mathematics, Logic, General Computing
Cover of the book Coalgebraic Methods in Computer Science by , Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783662441244
Publisher: Springer Berlin Heidelberg Publication: August 19, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783662441244
Publisher: Springer Berlin Heidelberg
Publication: August 19, 2014
Imprint: Springer
Language: English

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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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

More books from Springer Berlin Heidelberg

Cover of the book Optimal Time-Domain Noise Reduction Filters by
Cover of the book Fluid-Structure-Sound Interactions and Control by
Cover of the book Kognitive Verhaltenstherapie für Patienten mit leichter Alzheimer-Demenz und ihre Angehörigen by
Cover of the book The Stratosphere and Its Role in the Climate System by
Cover of the book Prosecuting International Crimes and Human Rights Abuses Committed Against Children by
Cover of the book Imaging of Brain Metabolism Spine and Cord Interventional Neuroradiology Free Communications by
Cover of the book Zwangsbehandlung psychisch kranker Menschen by
Cover of the book Software Quality by
Cover of the book Modeling of Land-Use and Ecological Dynamics by
Cover of the book Einführung in die Laborpraxis by
Cover of the book Advances in Critical Care Testing by
Cover of the book Formalization of Natural Languages by
Cover of the book Models of Strategic Reasoning by
Cover of the book Case Management: praktisch und effizient by
Cover of the book Mathematical Methods in Economics and Social Choice by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy