Importo totale (1 articolo articoli):
Destinazione ordine:
crole roy (68 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (68)
- 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 (52)
- Come nuovo, Ottimo o Quasi ottimo (8)
- Molto buono o Buono (8)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (28)
- Non Print on Demand (47)
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
Condizione: good. Used may have minimal highlights, annotations, creases, curled corners, writing on some pages, discoloration, dust from shelves, may need batteries.
-
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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condizione: very_good. Used with minimal wear, no writing or markings, corners maybe bent, few crease lines.
-
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 4 su 5 stelle
paperback. Condizione: Very Good. Minor cover wear. No markings. Always securely packed. Professional booksellers since 1994. Satisfaction guaranteed.
-
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
Condizione: New.
-
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Categories for Types (Cambridge Mathematical Textbooks)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, United Kingdom, Cambridge, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,83
EUR 6,42 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. 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. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
-
Categories for Types.
Lingua: Inglese
Editore: Cambridge UP, 2002
Da: Antiquariat Renner OHG, Albstadt, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
EUR 25,00
EUR 45,00 shipping
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 58,18
EUR 13,72 shipping
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,40
EUR 17,75 shipping
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: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,33
EUR 17,18 shipping
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)
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
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: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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 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
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
Condizione: As New. Unread book in perfect condition.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 86,64
EUR 7,45 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 356 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
-
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: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,97
EUR 13,72 shipping
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-01, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 82,34
EUR 17,75 shipping
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: 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: Wonder Book, Frederick, MD, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Categories for Types
Libro 4 di 23: Cambridge Mathematical TextbooksLingua: Inglese
Editore: Cambridge University Press, 1994
ISBN 10: 0521457017 ISBN 13: 9780521457019
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 89,08
EUR 9,95 shipping
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 356.
-
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,27
EUR 17,18 shipping
Spedito da Regno Unito a 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: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 103,04
Spedizione gratuita
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
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, San Diego, NV, 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540436138 ISBN 13: 9783540436133
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
EUR 60,00 shipping
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2002
ISBN 10: 3540436138 ISBN 13: 9783540436133
EUR 53,49
EUR 63,05 shipping
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.
-
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, San Diego, NV, 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 115,63
EUR 17,18 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
