Eintrag weiter verarbeiten
Review of transitions and trees : an introduction to structural operational semantics, by Hans Hüttel: an introduction to structural operational semantics, by Hans Hüttel
Gespeichert in:
Zeitschriftentitel: | ACM SIGACT News |
---|---|
Personen und Körperschaften: | |
In: | ACM SIGACT News, 43, 2012, 4, S. 34-37 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |