Suchergebnis

Suche nach: Schlagwort = Axiomatische Semantik und Sammlung = UB Paderborn

The formal semantics of programming languages
an introduction
Winskel, Glynn
3. print., Cambridge, Mass. [u.a.] : MIT Press, 1996