Detailsuche

Mossakowski / Montanari / Haveraaen

Algebra and Coalgebra in Computer Science

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
2007. Buch. xi, 463 S.: Bibliographien. Softcover
Springer ISBN 978-3-540-73857-2
Format (B x L): 15,5 x 23,5 cm
Gewicht: 735 g
In englischer Sprache
Das Werk ist Teil der Reihen:
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.

Audience

Research

Versandkostenfrei
lieferbar (3-5 Tage)
101,64 €
inkl. MwSt.
Webcode: beck-shop.de/jlar
Two-pronged approach tackles algebras and coalgebras as mathematical objects as well as in the context of their application in computer science Papers cover topics including abstract models and logics, and specialized models and calculi Online files and updates included