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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 53.79 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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Hardback

37.19 €

Columbo 01 (pilotní) - DVD pošeta

DVD

1.59 €

Die Nibelungensage Nach Ihren Altesten Ueberlieferungen (1872) Ernst Koch

Paperback

21.99 €

Goethes Urfaust. Büchners Woyzeck Friedrich Dürrenmatt

Paperback

11.39 €

Oeuvres Completes. Tome 5 DE LAPLACE-P-S

Paperback

34.29 €

China im Konflikt zwischen verschiedenen Ordnungskonzeptionen. Alfred Schüller

Paperback

44.59 €

Dreamreality John King

Paperback

14.90 €

Barth Erika Garber

Paperback

19.99 €

Das System der Kardinaltugenden bei Platon Jürgen Schwarz

Paperback

9.69 €

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.