?
2
An algebraic semantics for message sequence chart documents
Hildesheimer Informatik-Berichte ; 5/98
Exemplar:
Zentrale:Magazin bh 8331
?
3
Semantik
Theorie sequentieller und paralleler Programmierung
Lehrbücher Informatik
Exemplar:
TB BHV: com 430/1
?
4
Semantics with applications
a formal introduction
Wiley professional computing
Exemplar:
Zentrale:E02 a inf 440 sem/534
?
5
Action semantics
Cambridge tracts in theoretical computer science ; 26
Exemplar:
Zentrale:E03 a asl 089.4/450
?
6
Semantics of type theory
correctness, completeness and independence results
Progress in theoretical computer science ; [5]
Exemplar:
Zentrale:E02 a inf 440 sem/887
?
7
The semantics of programming languages
an elementary introduction using structural operational sem...
Exemplare:
TB BHV: com 430/4; Zentrale:E02 a inf 440 sem/173
?
8
Einführung in die Semantik von Programmiersprachen
Reihe Informatik ; 59
Exemplar:
Zentrale:E02 a inf 440 sem/532