Preisvergleich / Suche / Wohnen / Büro / Dependent Type, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster
Thumbnail - Dependent Type, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster

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

Sammle bis zu 17 Punkte mit diesem Produkt
Produktvarianten

Finde die besten Angebote

Bester Preis17 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

34,00 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage
Icon Preiswecker.

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ä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