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

Saved in:
Bibliographic Details
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,
Publisher Address: Berlin New York
Publication Dates: 1981.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 107
Subjects:
Carrier Form: vii, 478 p.: ill. ; 25 cm.
ISBN: 0387106995 (U.S. : pbk.)
Index Number: TP31
CLC: TP31-532
Call Number: TP31-53/F723/1981/
Contents: Includes bibliographies and index.