Atención NO ES UNA RESERVA!
Es solo a los efectos de disponer de los datos del ejemplar para solicitarlo a biblioteca.
Tenga presente también que puede seleccionar favoritos
(los documentos que le interesen) durante su
sesión y obtener una lista de ellos.
Formulario para Solicitud de Material
Partsch, Helmut A. (1950-...)
Specification and tansformation of programs : a formal approach to software development [TXT]. -- Berlin : Springer-Verlag, c1990. -- Specification and tansformation of programs : a formal approach to software development / Partsch, Helmut A.