Importo totale (1 articolo articoli):
Destinazione ordine:
crole roy (59 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (59)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (45)
- Come nuovo, Ottimo o Quasi ottimo (8)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (26)
- Non Print on Demand (42)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Paperback. Condizione: 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!
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, Uk, April 10-14, 2000,
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 39,52
Spedizione EUR 5,76
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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, Revised Lectures (Lecture Notes in Computer Science LNCS 2297)
Da: Blue Whale Books, ABAA, Charlottesville, VA, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: Very Good. Minor cover wear. No markings. Always securely packed. Professional booksellers since 1994. Satisfaction guaranteed.
-
Categories for Types.
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 2002
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Antiquariat Renner OHG, Albstadt, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
EUR 25,00
Spedizione EUR 45,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,28
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,72
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,07
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, Uk, April 10-14, 2000, Revised Lectures
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,67
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 408.
-
Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Paperback. Condizione: new. New Copy. Customer Service Guaranteed.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 89,39
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: thebookforest.com, San Rafael, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. New.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 96,50
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press 1994-01, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,81
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,76
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Categories for Types (Cambridge Mathematical Textbooks) (Volume 0)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 89,47
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, GB, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 113,39
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 98,03
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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)
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
EUR 53,49
Spedizione EUR 63,05
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction | International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures | Roland Backhouse (u. a.) | Taschenbuch | xiv | Englisch | 2002 | Springer | EAN 9783540436133 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press CUP, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 356.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 116,29
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 106,81
Spedizione EUR 28,81
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 137,31
Spedizione EUR 2,30
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 140,37
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 157,52
Spedizione EUR 13,80
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521450926 ISBN 13: 9780521450928
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 157,51
Spedizione EUR 17,28
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
