Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Semantik von Programmiersprachen - 11 Angebote vergleichen
Preise | 2018 | 2019 | 2020 |
---|---|---|---|
Schnitt | € 42,98 | € 36,07 | € 35,90 |
Nachfrage |
Semantik von Programmiersprachen
ISBN: 9783642702716 bzw. 3642702716, vermutlich in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau. eBook.
Semantik von Programmiersprachen
ISBN: 9783642702716 bzw. 3642702716, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Semantik von Programmiersprachen: Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunachst werden unterschiedliche Formalisierungsansatze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschlieend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklart und verwendet. Schlielich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermoglicht es, selbstandig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und naturlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau. Ebook.
Semantik von Programmiersprachen. Studienreihe Informatik (1989)
ISBN: 354015163X bzw. 9783540151630, in Deutsch, Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo : Springer, Taschenbuch, gebraucht.
Softcover IX, 202 S. ; 24 cm Broschiert Ehem. Bibliotheksexemplar mit üblichen Merkmalen wie Signatur und Stempel. Moderate Lager- und Gebrauchsspuren. Text bis auf selten mögliche Anstreichungen sauber. Insgesamt guter Zustand. 9783540151630 Programmiersprache ; Semantik, gebraucht; gut, 2019-06-29.
Semantik von Programmiersprachen (Studienreihe Informatik) (1989)
ISBN: 9783540151630 bzw. 354015163X, vermutlich in Deutsch, Springer, Taschenbuch.
216 Seiten Ungelesenes Buch im sehr guten Zustand. Evtl. minimale Lager spuren. 9783540151630 Sprache: Deutsch Gewicht in Gramm: 399 Softcover, Größe: 17 x 1.2 x 24.4 cm, Books.
Semantik von Programmiersprachen (Studienreihe Informatik) (German Edition) (1989)
ISBN: 9783540151630 bzw. 354015163X, vermutlich in Deutsch, Springer, Taschenbuch.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1989-03-07. 1. Paperback. Used:Good.
Semantik von Programmiersprachen
ISBN: 9783642702716 bzw. 3642702716, in Deutsch, Springer Nature, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Semantik Von Programmiersprachen
ISBN: 9783540151630 bzw. 354015163X, vermutlich in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Books2anywhere, GLOUCESTERSHIRE, Fairford, [RE:4].
Softcover.
Semantik Von Programmiersprachen (1989)
ISBN: 9783540151630 bzw. 354015163X, vermutlich in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, AwesomeBooksUK, OXON, PO BOX 318, [RE:4].
PF.