QA76.7 .W555 1993
|
Winskel, G. (Glynn)
The formal semantics of programming languages : an introduction / Glynn Winskel.
— Cambridge, Mass. : MIT Press, c1993. xviii, 361 p. ; 24 cm. — (Foundations of computing)
Incluye referencias bibliográficas (p. [353]-356) e índice.
ISBN 0262231697
|