Produktbild
Hartmut (Hrsg.) Ehrig

Categorical Methods in Computer Science

With Aspects from Topology

Buch

This volume contains selected papers of the International Workshop on Categorical Methods in Computer Science - with Aspects from Topology and of the 6th International Data Type Workshop held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly co… Mehr

CHF 115.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Herrlich, Horst (Hrsg.) / Kreowski, Hans-Jörg (Hrsg.) / Preuß, Gerhard (Hrsg.)
  • ISBN: 978-3-540-51722-1
  • EAN: 9783540517221
  • Produktnummer: 3498588
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 1989
  • Seitenangabe: 364 S.
  • Masse: H23.5 cm x B15.5 cm x D1.9 cm 552 g
  • Abbildungen: Paperback
  • Reihenbandnummer: 393
  • Gewicht: 552

32 weitere Werke von Hartmut (Hrsg.) Ehrig:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.