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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 4624 |
Release date | August 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Till Mossakowski, Ugo Montanari, Magne Haveraaen |
Dimensions | 235 x 155 x 24mm (L x W x T) |
Format | Paperback |
Pages | 463 |
Edition | 2007 ed. |
ISBN-13 | 978-3-540-73857-2 |
Barcode | 9783540738572 |
Categories | |
LSN | 3-540-73857-6 |