zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
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
Download
The formal semantics of programming languages [0,54 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes