Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Categorical Methods in Computer Science

Name: Categorical Methods in Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565228
Price: 51.56 EUR
Availability: InStock
Author: Hartmut Ehrig
ISBN: 9783540517221

With Aspects from Topology

Language

English

Book Paperback

Libristo code: 01565228

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

This volume contains selected papers of theInternational Workshop on "Categorical Methods in Compute... Full description

Libristo code: 01565228

125 b

51.56 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kontext B2.2 - Hybride Ausgabe allango, m. 1 Beilage Stefanie Dengler

Book

33.20 €

Das System der Kardinaltugenden bei Platon Jürgen Schwarz

Paperback

9.38 €

Blue Lock T10 Book

Paperback

10.89 €

Я всегда остаюсь собой Й. Блум

Hardback

35.52 €

Die Nibelungensage Nach Ihren Altesten Ueberlieferungen (1872) Ernst Koch

Paperback

21.18 €

Goethes Urfaust. Büchners Woyzeck Friedrich Dürrenmatt

Paperback

10.89 €

China im Konflikt zwischen verschiedenen Ordnungskonzeptionen. Alfred Schüller

Paperback

42.88 €

Oeuvres Completes. Tome 5 DE LAPLACE-P-S

Paperback

33.09 €

Dreamreality John King

Paperback

13.51 €

Barth Erika Garber

Paperback

17.96 €

This volume contains selected papers of theInternational 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.