Type Theory, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Type Theory" von Betascript Publishing bietet eine umfassende Einführung in die verschiedenen Aspekte der Typentheo... Mehr erfahren
Produktvarianten
Type Theory, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Type Theory" von Betascript Publishing bietet eine umfassende Einführung in die verschiedenen Aspekte der Typentheorie, die in Mathematik, Logik und Informatik von Bedeutung sind. Es behandelt formale Systeme, die als Alternativen zur naiven Mengenlehre dienen können, sowie die Analyse und das Design von Typsystemen in der Programmierung. Die Inhalte basieren hauptsächlich auf Artikeln aus Wikipedia und anderen freien Online-Quellen, was eine breite und zugängliche Perspektive auf das Thema ermöglicht. Die Typentheorie ist ein zentraler Bestandteil der theoretischen Informatik und spielt eine entscheidende Rolle bei der Entwicklung und Analyse von Programmiersprachen. Dieses Fachbuch richtet sich an Studierende und Fachleute, die ein vertieftes Verständnis der Typentheorie und ihrer Anwendungen in der Informatik erlangen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing