Importo totale (1 articolo articoli):
Destinazione ordine:
statman richard (21 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (21)
- 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 (14)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (4)
- 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 (8)
- Non Print on Demand (17)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Bold Thinking on Investment Management: The FAJ 60th Anniversary Anthology
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,21
EUR 6,43 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Bold Thinking on Investment Management: The FAJ 60th Anniversary Anthology
Da: GridFreed, North Las Vegas, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap.
-
Bold Thinking on Investment Management: The FAJ 60th Anniversary Anthology
Da: Sell Books, Elland, YORKS, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 29,66
EUR 13,95 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.
-
Lambda Calculus with Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,47
EUR 9,18 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Lambda Calculus with Types (Perspectives in Logic)
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Scissortail, Oklahoma City, OK, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. This is a pre-loved book that shows moderate signs of wear from previous reading. You may notice creases, edge wear, or a cracked spine, but it remains in solid, readable condition.Please note:-May include library or rental stickers, stamps, or markings.-Supplemental materials e.g., CDs, access codes, inserts are not guaranteed.-Box sets may not come with the original outer box. If it does, the box will not be in perfect condition. -Sourced from donation centers; authenticity not verified with publisher. Your satisfaction is our top priority! If you have any questions or concerns about your order, please don't hesitate to reach out. Thank you for shopping with us and supporting small businessâ"happy reading!
-
Lambda Calculus With Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Lambda Calculus with Types (Perspectives in Logic)
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Lambda Calculus with Types (Perspectives in Logic)
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 103,60
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Bold Thinking on Investment Management: The FAJ 60th Anniversary Anthology
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Lambda Calculus with Types (Perspectives in Logic)
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 100,86
EUR 13,75 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Lambda Calculus With Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 100,85
EUR 17,22 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Lambda Calculus with Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, GB, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 161,45
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
-
Lambda Calculus With Types
Libro 3 di 17: Perspectives in LogicDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 149,72
EUR 17,22 shipping
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock.
-
Lambda Calculus With Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 203,33
EUR 17,22 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Lambda Calculus with Types (Perspectives in Logic)
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 193,89
EUR 28,69 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Lambda Calculus with Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, GB, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 153,08
EUR 74,61 shipping
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
-
Lambda Calculus With Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Lambda Calculus With Types
Libro 3 di 17: Perspectives in LogicDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 107,42
EUR 17,22 shipping
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock. This item is printed on demand.
-
Lambda Calculus with Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2014
ISBN 10: 0521766141 ISBN 13: 9780521766142
EUR 109,07
EUR 48,99 shipping
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of.
-
Lambda Calculus with Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 155,98
EUR 7,46 shipping
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. xxii + 833 52 Illus.
-
Lambda Calculus with Types
Libro 3 di 17: Perspectives in LogicLingua: Inglese
Editore: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 161,16
EUR 9,95 shipping
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. xxii + 833.
