Semantics of Programming Languages, Fachbücher von Loki Radoslav
29,00 €
Das Buch "Semantics of Programming Languages" bietet eine umfassende Einführung in die Semantik von Programmiersprachen, einem zentralen Bereich der Programmierungstheorie. Es behandelt die mathematischen Grundlagen, die zur Beschreibung der Bedeutung von Programmiersprachen und Berechnungsmodellen erforderlich sind. Die formale Semantik wird durch mathematische Modelle dargestellt, die die möglichen Berechnungen, die durch die jeweilige Sprache beschrieben werden, präzise definieren. Dieses Werk ist besonders relevant für Fachleute und Studierende, die sich mit der Gestaltung von Programmiersprachen, Typentheorie, Compilern, Interpretern sowie der Verifikation von Programmen und Modellüberprüfung beschäftigen. Die Inhalte basieren auf Artikeln aus Wikipedia und anderen freien Quellen, was eine breite und zugängliche Wissensbasis bietet.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
