Artículos relacionados a Dependent ML: Functional Programming Language, ML Programmin...
Dependent ML: Functional Programming Language, ML Programming Language, Alice (programming language) - Tapa blanda
Resultados de la búsqueda para Dependent ML: Functional Programming Language, ML Programmin...
Imagen del vendedor
Dependent ML
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133155329
ISBN 13: 9786133155329
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 100 pp. Englisch. Nº de ref. del artículo: 9786133155329
Comprar nuevo
EUR 136,00
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Dependent ML : Functional Programming Language, ML Programming Language, Alice (programming language)
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9786133155329
Comprar nuevo
EUR 137,63
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Dependent ML | Functional Programming Language, ML Programming Language, Alice (programming language)
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 134889231
Comprar nuevo
EUR 109,85
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Dependent ML
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133155329
ISBN 13: 9786133155329
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9786133155329
Comprar nuevo
EUR 136,00
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles