Tell your friends about this item:
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Lecture Notes in Computer Science Till Mossakowski 2007 edition
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Lecture Notes in Computer Science
Till Mossakowski
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.
463 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 9, 2007 |
| ISBN13 | 9783540738572 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 463 |
| Dimensions | 155 × 235 × 24 mm · 703 g |
| Language | French |
| Editor | Haveraaen, Magne |
| Editor | Montanari, Ugo |
| Editor | Mossakowski, Till |
More by Till Mossakowski
Show allMere med samme udgiver
See all of Till Mossakowski ( e.g. Paperback Book )