Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Paperback) | Released: 01-Sep-07

Name: Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Bookbuzzz
SKU: 21232f297a57
Price: 1278.00 USD
Availability: OutOfStock

By: Magne Haveraaen (Author) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

1,278.00$

Out of stock

Ships within 1-2 Business Days

100% Orginal Books

Easy Replacement

Certified product

Secure Checkout

On time delivery

Author:

Magne Haveraaen

Publisher Name:

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Language:

English

Binding:

(Paperback)

See all details

About The Book

A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.