Langue: anglais
Edité par Macmillan Technical Pub, 1998
ISBN 10 : 1578700116 ISBN 13 : 9781578700110
Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis
EUR 7,88
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail.
Langue: anglais
Edité par Macmillan Technical Pub, 1998
ISBN 10 : 1578700116 ISBN 13 : 9781578700110
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
EUR 8,76
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Langue: anglais
Edité par Macmillan Technical Pub, 1998
ISBN 10 : 1578700116 ISBN 13 : 9781578700110
Vendeur : Solr Books, Lincolnwood, IL, Etats-Unis
EUR 77,31
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : new.
Langue: anglais
Edité par Macmillan Technical Pub, 1998
ISBN 10 : 1578700116 ISBN 13 : 9781578700110
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
EUR 122,88
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New.
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 35,89
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of experimental functional programming languages like Dependent ML, Agda and Epigram.
Vendeur : preigu, Osnabrück, Allemagne
EUR 109,85
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Dependent Type | Computer science, Logic, Type system, Intuitionistic type theory, Functional programming languages | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131622458 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.