Dependent Type: Computer science, Logic, Type system, Intuitionistic type theory, Functional programming languages - Softcover
Suchergebnisse für Dependent Type: Computer science, Logic, Type system,...
Foto des Verkäufers
Dependent Type
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 92 pp. Englisch. Bestandsnummer des Verkäufers 9786131622458
Neu kaufen
EUR 34,00
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Dependent Type : Computer science, Logic, Type system, Intuitionistic type theory, Functional programming languages
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9786131622458
Neu kaufen
EUR 35,89
EUR 60,78 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Dependent Type | Computer science, Logic, Type system, Intuitionistic type theory, Functional programming languages
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 113312755
Neu kaufen
EUR 109,85
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Dependent Type
Print-on-DemandAnbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. In computerscience and logic, a dependent type is a type that depends on a value.Dependent types play a central role in intuitionistic type theory and inthe design of experimental functional programming languages likeDependent ML, Agda and Epigram.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 92 pp. Englisch. Bestandsnummer des Verkäufers 9786131622458
Neu kaufen
EUR 136,00
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar