Opening book details…
Can I read 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 on EtoBox?
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 by Marcello M. Bonsangue (eds.) is a nonfiction available to read on EtoBox.
What is 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 about?
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. Erscheinungsdatum: 01.09.2014
Who reads 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?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Marcello M. Bonsangue (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2014
- Language
- EN
- ISBN
- 9783662441244
- Category
- nonfiction
- Subjects
- Computer Science, Mathematics, Science
More by Marcello M. Bonsangue (eds.)
Browse all works by Marcello M. Bonsangue (eds.)
Similar books
- Coalgebraic methods in computer science : 15th IFIP WG 1.3 international workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020 : proceedings — Daniela Petrişan,Jurriaan Rot,Gerhard Goos,Juris Hartmanis,Elisa Bertino,Wen Gao,Bernhard Steffen,Gerhard Woeginger,Moti Yung (2020)
- Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers — Ichiro Hasuo (2016)
- Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers — Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (2012)
- Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers — Santiago Escobar (2014)
- Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers — José Luiz Fiadeiro, Ionuț Țuțu (2019)
- Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings — Dimitra Giannakopoulou and Gwen Salaün (2014)