Skip to main content alibris logo

Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 2007, Proceedings

by , ,

Write The First Customer Review
Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Mossakowski, Till (Editor), and Montanari, Ugo (Editor), and Haveraaen, Magne (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 ...

loading
Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 2007, Proceedings 2007, Springer, Berlin, Heidelberg

ISBN-13: 9783540738572

2007 edition

Trade paperback