Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624, Band 4624) - Softcover

 
9783540738572: Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science, 4624, Band 4624)
Softcover
ISBN 10: 3540738576 ISBN 13: 9783540738572
Verlag: Springer, 2007

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2007
Sprache
Englisch
ISBN 10 
3540738576
ISBN 13 
9783540738572
Einband
Taschenbuch
Anzahl der Seiten
484
Herausgeber
Mossakowski Till
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540841470: Algebra and Coalgebra in Computer Science

Vorgestellte Ausgabe

ISBN 10:  3540841474 ISBN 13:  9783540841470
Verlag: Springer, 2008
Softcover