.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Categorical Methods in Computer Science
. Ed(S): Ehrig, Hartmut; Herrlich, Horst; Kreowski, Hans-Jorg; Preus, Gerhard
€ 71.42
FREE Delivery in Ireland
Description for Categorical Methods in Computer Science
Paperback. Editor(s): Ehrig, Hartmut; Herrlich, Horst; Kreowski, Hans-Jorg; Preus, Gerhard. Series: Lecture Notes in Computer Science. Num Pages: 360 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 1130.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1989
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
360
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
354
Place of Publication
Berlin, Germany
ISBN
9783540517221
SKU
V9783540517221
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Categorical Methods in Computer Science