Categorical Methods in Computer Science: With Aspects from Topology - Paperback
$54.99
Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 54 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Hartmut Ehrig, Horst HerrlichSeries:Lecture Notes in Computer SciencePublish date:10/11/1989Pages:354
Languages:EnglishPublisher:SpringerISBN-13:9783540517221ISBN-10:3540517227UPC:9783540517221Book Category:ComputersBook Subcategory:Machine Theory, Logic Design, Computer ScienceSize:9.21 x 6.14 x 0.75 inchesWeight:0.508Product ID:SCM1SGW64T
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.
Languages:EnglishPublisher:SpringerISBN-13:9783540517221ISBN-10:3540517227UPC:9783540517221Book Category:ComputersBook Subcategory:Machine Theory, Logic Design, Computer ScienceSize:9.21 x 6.14 x 0.75 inchesWeight:0.508Product ID:SCM1SGW64T
Publisher: Springer
Edition
1989 Edition
Contributor(s)
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.