zum Inhalt
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
The formal semantics of programming languages
:
an introduction
/ Glynn Winskel
Verfasser
Winskel, Glynn
Erschienen
Cambridge, Mass. [u.a.]
:
MIT Press
,
1996
Ausgabe
3. print.
Umfang
XVIII, 361 S.
Serie
Foundations of computing
Schlagwörter
Programmiersprache
/
Operationale Semantik
/
Funktionale Semantik
/
Axiomatische Semantik
ISBN
0-262-23169-7
Links
Nachweis
hbz-Verbundkatalog
Archiv
METS (OAI-PMH)
Download
The formal semantics of programming languages
[
553,44 kb
]
Inhalt
Inhalt des Werkes