Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings - Couverture souple
Autres éditions populaires du même titre
Résultats de recherche pour Category Theory and Computer Programming: Tutorial...
Image d'archives
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science (240))
Edité par
Springer, 1986
ISBN 10 : 3540171622
ISBN 13 : 9783540171621
Ancien ou d'occasion
Couverture souple
Vendeur : BookHolders, Towson, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: First or Reprint ] Publisher: Springer Pub Date: 10/1/1986 Binding: Paperback Pages: 532 First or Reprint. N° de réf. du vendeur 6601451
Acheter D'occasion
EUR 22,70
EUR 3,62 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science, 240)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020161305
Acheter neuf
EUR 52,64
EUR 3,40 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540171621
Acheter neuf
EUR 56,24
EUR 17,67 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Category Theory and Computer Programming
Edité par
Springer Berlin Heidelberg Okt 1986, 1986
ISBN 10 : 3540171622
ISBN 13 : 9783540171621
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.- Functors and natural transformations.- Adjunctions.- Cartesian closure ¿ Higher types in categories.- Algebra categorically.- Category theory and logic.- Categories, data types, and imperative languages.- Category theory and programming language semantics: An overview.- Weakest preconditions: Categorical insights.- A categorical view of weakest liberal preconditions.- Functor-category semantics of programming languages and logics.- Finite approximation of spaces.- Categories of partial morphisms and the P-calculus.- A note on distributive laws and power domains.- Category theory and models for parallel computation.- Categorical models of process cooperation.- Galois connections and computer science applications.- A study in the foundations of programming methodology: Specifications, institutions, charters and parchments.- Bits and pieces of the theory of institutions.- Extended ML: An institution-independent framework for formal program development.- Behavioural program specification.- Key extensions of abstract data types, final algebras, and database semantics.- Theories as categories.- Internal completeness of categories of domains.- Formalising the network and hierarchical data models ¿ an application of categorical Logic.- A categorical unification algorithm.- Computing with categories. 532 pp. Englisch. N° de réf. du vendeur 9783540171621
Acheter neuf
EUR 53,49
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Category Theory and Computer Programming
Edité par
Springer Berlin Heidelberg, 1986
ISBN 10 : 3540171622
ISBN 13 : 9783540171621
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4883341
Acheter neuf
EUR 48,37
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Category Theory and Computer Programming
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1986, 1986
ISBN 10 : 3540171622
ISBN 13 : 9783540171621
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.- Functors and natural transformations.- Adjunctions.- Cartesian closure ¿ Higher types in categories.- Algebra categorically.- Category theory and logic.- Categories, data types, and imperative languages.- Category theory and programming language semantics: An overview.- Weakest preconditions: Categorical insights.- A categorical view of weakest liberal preconditions.- Functor-category semantics of programming languages and logics.- Finite approximation of spaces.- Categories of partial morphisms and the P-calculus.- A note on distributive laws and power domains.- Category theory and models for parallel computation.- Categorical models of process cooperation.- Galois connections and computer science applications.- A study in the foundations of programming methodology: Specifications, institutions, charters and parchments.- Bits and pieces of the theory of institutions.- Extended ML: An institution-independent framework for formal program development.- Behavioural program specification.- Key extensions of abstract data types, final algebras, and database semantics.- Theories as categories.- Internal completeness of categories of domains.- Formalising the network and hierarchical data models ¿ an application of categorical Logic.- A categorical unification algorithm.- Computing with categories.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch. N° de réf. du vendeur 9783540171621
Acheter neuf
EUR 53,49
EUR 60 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Edité par
Springer Berlin Heidelberg, 1986
ISBN 10 : 3540171622
ISBN 13 : 9783540171621
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.- Functors and natural transformations.- Adjunctions.- Cartesian closure ¿ Higher types in categories.- Algebra categorically.- Category theory and logic.- Categories, data types, and imperative languages.- Category theory and programming language semantics: An overview.- Weakest preconditions: Categorical insights.- A categorical view of weakest liberal preconditions.- Functor-category semantics of programming languages and logics.- Finite approximation of spaces.- Categories of partial morphisms and the P-calculus.- A note on distributive laws and power domains.- Category theory and models for parallel computation.- Categorical models of process cooperation.- Galois connections and computer science applications.- A study in the foundations of programming methodology: Specifications, institutions, charters and parchments.- Bits and pieces of the theory of institutions.- Extended ML: An institution-independent framework for formal program development.- Behavioural program specification.- Key extensions of abstract data types, final algebras, and database semantics.- Theories as categories.- Internal completeness of categories of domains.- Formalising the network and hierarchical data models ¿ an application of categorical Logic.- A categorical unification algorithm.- Computing with categories. N° de réf. du vendeur 9783540171621
Acheter neuf
EUR 53,49
EUR 63,99 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Category Theory and Computer Programming | Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Category Theory and Computer Programming | Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings | David Pitt (u. a.) | Taschenbuch | x | Englisch | 1986 | Springer | EAN 9783540171621 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 101943427
Acheter neuf
EUR 50,35
EUR 70 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Category Theory and Computer Programming
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 532. N° de réf. du vendeur 263103958
Acheter neuf
EUR 126,27
EUR 3,40 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Category Theory and Computer Programming
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 532 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5825289
Acheter neuf
EUR 132,16
EUR 7,41 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)