Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Dependent Type
CHF 43.20
Auf Lager
SKU
U0VE0OJ0AQN
1 Verfügbar 
Geliefert zwischen Mi., 26.11.2025 und Do., 27.11.2025
Details
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.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131622458
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- Größe H220mm x B220mm
- EAN 9786131622458
- Format Fachbuch
- Titel Dependent Type
- Herausgeber Alphascript Publishing
- Anzahl Seiten 92
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
