

Dependent Type, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Das Buch "Dependent Type" bietet eine umfassende Einführung in das Konzept der abhängigen Typen, die in der Informatik und Lo... Mehr erfahren
Produktvarianten
Dependent Type, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Finde die besten Angebote
Bester Preis17 Punkte

Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Dependent Type" bietet eine umfassende Einführung in das Konzept der abhängigen Typen, die in der Informatik und Logik von zentraler Bedeutung sind. Abhängige Typen sind Typen, die von einem bestimmten Wert abhängen, und sie spielen eine entscheidende Rolle in der intuitionistischen Typentheorie sowie in der Entwicklung experimenteller funktionaler Programmiersprachen wie Dependent ML, Agda und Epigram. Die Inhalte des Buches basieren hauptsächlich auf Artikeln, die aus Wikipedia und anderen freien Online-Quellen stammen, was eine breite und zugängliche Perspektive auf das Thema ermöglicht. Es richtet sich an Leser, die ein tieferes Verständnis für die theoretischen Grundlagen und praktischen Anwendungen abhängiger Typen in der Programmierung und Logik erlangen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Alphascript Publishing














