Erschienen: 09.08.2007 Abbildung von Mossakowski / Montanari / Haveraaen | Algebra and Coalgebra in Computer Science | 2007 | Second International Conferenc...

Mossakowski / Montanari / Haveraaen

Algebra and Coalgebra in Computer Science

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

lieferbar (3-5 Tage)

101,64 €

inkl. Mwst.

2007. Buch. xi, 463 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-73857-2

Format (B x L): 15,5 x 23,5 cm

Gewicht: 735 g

In englischer Sprache

Produktbeschreibung

CALCO, the Conference on Algebra and Coalgebra in Computer Science, is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of - gebras and coalgebras in computer science. The study of algebra and coalgebra relates to the data, process, and structural aspects of software systems. The ?rst, and very successful, CALCO conference took place in 2005 in Swansea, Wales. The second CALCO took place in 2007 in Bergen, Norway, and was organized by Magne Haveraaen (Chair), Yngve Lamo, Michal Walicki, and Uwe Wolter. The CALCOSteering Committee consistsofJi? r´?Ada´mek,MichelBidoit,- rina Cirstea, Jos´ e Fiadeiro (Co-chair), H.Peter Gumm, Magne Haveraaen, Bart Jacobs, Hans-J¨ org Kreowski, Alexander Kurz, Ugo Montanari, Larry Moss, Till Mossakowski, Peter Mosses, Fernando Orejas, Francesco Parisi-Presicce, John Power,Horst Reichel, Markus Roggenbach,Jan Rutten (Co-chair), and Andrzej Tarlecki.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...