[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Categorical Methods in Computer Science

Language EnglishEnglish
Book Paperback
Book Categorical Methods in Computer Science Hartmut Ehrig
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
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Stochastic Control Theory Makiko Nisio / Hardback
common.buy 157.56 €
Kartoon Kama Sutra Journal Elise ColletSoravito / Hardback
common.buy 23.86 €
How to Draw Ships and Boats Amit Offir / Paperback
common.buy 14.44 €
Secret Rooms Catherine Bailey / Paperback
common.buy 13.58 €
Automatic Speech and Speaker Recognition Samy Bengio / Hardback
common.buy 155.63 €
Barth Erika Garber / Paperback
common.buy 21.40 €
Making God's Word Work Jacob Neusner / Hardback
common.buy 234.31 €
Crime and Punishment in Early Modern Russia Nancy Shields Kollmann / Hardback
common.buy 130.69 €
Carbon Dioxide Removal from Coal-Fired Power Plants C. Hendriks / Hardback
common.buy 206.48 €
Account of the Musical Performances in Westminster Abbey and the Pantheon May 26th, 27th, 29th and June 3rd and 5th, 1784 in Commemoration of Handel. Charles Burney / Hardback
common.buy 37.56 €
China im Konflikt zwischen verschiedenen Ordnungskonzeptionen. Alfred Schüller / Paperback
common.buy 42.71 €

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.

About the book

Full name Categorical Methods in Computer Science
Author Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
Language English
Binding Book - Paperback
Number of pages 354
EAN 9783540517221
ISBN 3540517227
Libristo code 01565228
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1130
Dimensions 155 x 235 x 20

Categories

Mathematics & Science > Mathematics > Topology > Algebraic topology
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account