Formalization of programming concepts：international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

Corporate Authors: International Colloquium on the Formalization of Programming Concepts (1981 Peñíscola, Spain) (Peñíscola, Spain))
Group Author: Díaz J.; (Josep), 1950-; Ramos I.; (Isidro), 1943-
Published: Springer-Verlag,
Publication Dates: 1981.
Call Number: TP31-53/F723/1981/