Winskel,, Glynn The formal semantics of programming languages : an introduction / Glynn Winskel

The formal semantics of programming languages : an introduction / Glynn Winskel . - Cambridge, Mas. : The MIT Press, imp. 1994 . - XVIII, 361 p. 24 cm
0-262-23169-7 (Encadernado)

519.682