Dependent ML: Functional Programming Language, ML Programming Language, Alice (programming language) - Softcover
Suchergebnisse für Dependent ML: Functional Programming Language, ML Programmin...
Foto des Verkäufers
Dependent ML
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 100 pp. Englisch. Bestandsnummer des Verkäufers 9786133155329
Neu kaufen
EUR 136,00
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Dependent ML | Functional Programming Language, ML Programming Language, Alice (programming language)
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Dependent ML | Functional Programming Language, ML Programming Language, Alice (programming language) | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133155329 | 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 134889231
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 ML
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. Dependent ML isan experimental functional programming language proposed by FrankPfenning and Hongwei Xi. Dependent ML extends ML by a restricted notionof dependent types: types may be dependent on static indices of typeNat. Dependent ML employs a constraint theorem prover to decide a strongequational theory over the index expressions. Dependent ML has beensuperseded by ATS and is no longer under active development.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 100 pp. Englisch. Bestandsnummer des Verkäufers 9786133155329
Neu kaufen
EUR 136,00
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Dependent ML : Functional Programming Language, ML Programming Language, Alice (programming language)
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. Bestandsnummer des Verkäufers 9786133155329
Neu kaufen
EUR 137,63
EUR 60,84 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar