Operational Semantics, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Operational Semantics" von Betascript Publishing bietet eine fundierte Einführung in die operationale Semantik, ein... Mehr erfahren
Produktvarianten
Operational Semantics, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis14 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Operational Semantics" von Betascript Publishing bietet eine fundierte Einführung in die operationale Semantik, ein Konzept aus der Informatik, das die Bedeutung von Computerprogrammen auf mathematisch rigorose Weise beschreibt. Es behandelt die verschiedenen Ansätze zur formalen Semantik von Programmiersprachen, einschliesslich axiomativer und denotationaler Semantik. Der Fokus liegt darauf, wie gültige Programme als Sequenzen von Berechnungsschritten interpretiert werden, die die Bedeutung des Programms darstellen. Insbesondere im Kontext funktionaler Programme wird erläutert, wie der letzte Schritt in einer endenden Sequenz den Wert des Programms zurückgibt. Das Buch ist eine wertvolle Ressource für Studierende und Fachleute, die ein tieferes Verständnis der theoretischen Grundlagen der Programmierung erlangen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing