Related Books

Coalgebraic Methods in Computer Science
Language: en
Pages: 251

Coalgebraic Methods in Computer Science

Authors: Marcello M. Bonsangue
Categories: Mathematics
Type: BOOK - Published: 2014-08-19 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocat
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Language: en
Pages: 401

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Authors: Roland Backhouse
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

GET EBOOK

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr
Algebra and Coalgebra in Computer Science
Language: en
Pages: 466

Algebra and Coalgebra in Computer Science

Authors: José Luis Fiadeiro
Categories: Computers
Type: BOOK - Published: 2005-08-31 - Publisher: Springer

GET EBOOK

In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- brai
Introduction to Coalgebra
Language: en
Pages: 495

Introduction to Coalgebra

Authors: Bart Jacobs
Categories: Mathematics
Type: BOOK - Published: 2017 - Publisher: Cambridge University Press

GET EBOOK

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.
Logics for Coalgebras and Applications to Computer Science
Language: en
Pages: 201

Logics for Coalgebras and Applications to Computer Science

Authors: Alexander Kurz
Categories:
Type: BOOK - Published: 2001-05 - Publisher: BoD – Books on Demand

GET EBOOK