Verwandte Artikel zu Category Theory and Computer Programming: Tutorial...
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings: 240 (Lecture Notes in Computer Science) - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Category Theory and Computer Programming: Tutorial...
Beispielbild für diese ISBN
Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Verlag:
Springer Berlin Heidelberg, 1986
ISBN 10: 3540171622
ISBN 13: 9783540171621
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 532 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 3946281/2
Anzahl: 1 verfügbar
Foto des Verkäufers
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science)
Anbieter: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Gut. 532 Seiten Artikel stammt aus Nichtraucherhaushalt! CA9 Sprache: Englisch Gewicht in Gramm: 921. Artikel-Nr. 352955
Anzahl: 1 verfügbar
Foto des Verkäufers
Category Theory and Computer Programming
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 4883341
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Category Theory and Computer Programming
ISBN 10: 3540171622
ISBN 13: 9783540171621
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. 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. Artikel-Nr. 9783540171621
Anzahl: 2 verfügbar
Foto des Verkäufers
Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9783540171621
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings (Lecture Notes in Computer Science, 240)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540171621_new
Anzahl: Mehr als 20 verfügbar