Functional logic programming languages (5 résultats)
- Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-UnisThriftBooks-Dallas
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 44,86
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Couverture rigide
Vendeur : The Book Spot, Sioux Falls, MN, Etats-UnisThe Book Spot
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 126,59
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : New.
- Couverture rigide
Vendeur : Solr Books, Lincolnwood, IL, Etats-UnisSolr Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 452,09
EUR 7,01 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : new.
- Couverture souple
- impression à la demande
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 35,89
EUR 60,78 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. 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.
- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 109,85
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. 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 Osn…abrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
