Gesamtpreis (1 Artikel Artikel):
Versandziel:
crole roy (60 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (60)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (45)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (8)
- Gut oder Befriedigend (7)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (26)
- Keine Print-on-Demand Angebote (42)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Categories for Types (Cambridge Mathematical Textbooks)
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 35,78
EUR 5,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, Uk, April 10-14, 2000,
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, . Lectures (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures (Lecture Notes in Computer Science LNCS 2297)
Anbieter: Blue Whale Books, ABAA, Charlottesville, VA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. Minor cover wear. No markings. Always securely packed. Professional booksellers since 1994. Satisfaction guaranteed.
-
Categories for Types.
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 2002
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Gut. Reprint of the ed. 1993. Cambridge UP (2002). XVII, 335 p. Pbck. (slightly bumped).- Half title slightly stained, 3 pages with wrinkled margin, otherwise in good condition.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,08
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,48
EUR 18,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,47
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: New. pp. 408.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Paperback. Zustand: new. New Copy. Customer Service Guaranteed.
-
Categories for Types (Cambridge Mathematical Textbooks)
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: thebookforest.com, San Rafael, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. New.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press 1994-01, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,91
EUR 18,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,66
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 86,90
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, GB, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 114,75
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 99,30
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, . (Lecture Notes in Computer Science, 2297)
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press CUP, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Zustand: New. pp. 356.
-
Categories for Types (Cambridge Mathematical Textbooks)
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 2008
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 117,84
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, . (Lecture Notes in Computer Science (2297))
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 108,23
EUR 29,19 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 139,17
EUR 2,31 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Categories for Types (Cambridge Mathematical Textbooks)
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Categories for Types (Cambridge Mathematical Textbooks)
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 159,61
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Categories for Types
Buch 4 von 23: Cambridge Mathematical TextbooksSprache: Englisch
Verlag: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 159,60
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
