Algebra and Coalgebra in Computer Science / Lecture Notes in Computer Science Bd.4624 (PDF)
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...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2007, 2007, 463 Seiten, Englisch
- Herausgegeben: Till Mossakowski, Ugo Montanari, Magne Haveraaen
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540738592
- ISBN-13: 9783540738596
- Erscheinungsdatum: 22.08.2007
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 14 MB
- Mit Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Algebra and Coalgebra in Computer Science / Lecture Notes in Computer Science Bd.4624".
Kommentar verfassen