Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: New.
Published by Springer 1989, 1989
Seller: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Germany
Softcover Sehr gut erhalten.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.59
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.58
Quantity: Over 20 available
Add to basketCondition: New.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Categorical Methods in Computer Science | With Aspects from Topology | Hartmut Ehrig (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1989 | Springer | EAN 9783540517221 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 152.58
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 141.39
Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 3540517227 ISBN 13: 9783540517221
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science. 364 pp. Englisch.
Language: English
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540517227 ISBN 13: 9783540517221
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 vol.
Language: English
Published by Springer, Springer Okt 1989, 1989
ISBN 10: 3540517227 ISBN 13: 9783540517221
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 364 pp. Englisch.