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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540738572 - August 9, 2007
In case cover and title do not match, the title is correct

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23
Add to your iMusic wish list

Not rated yet

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 all

Mere med samme udgiver