Normal view MARC view ISBD view

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

Main Author Winskel, Glynn Country Estados Unidos. Publication Cambridge, Mass. : The MIT Press, imp. 2001 Description XVIII, 361 p. : il. ; 24 cm Series Foundations of computing series ISBN 0-262-73103-7 CDU 519.682

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds	Course reserves
Monografia	Biblioteca Geral da Universidade do Minho	BGUM 519.682 - W	Available		321373		Mestrado em Engenharia Física Computação Ciber-Física 2º semestre