Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 198...
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 198...
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos.
About this item
Full title
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos.
Publisher
Berlin ; New York : Springer-Verlag, 1981.
Date
1981.
Call Numbers
T0369230
Record Identifier
74VvVBwN346X
MMS ID
991010188739702626
Language
English
Formats
Physical Description
Physical content
vii, 478 p. : ill. ; 25 cm.
Publication information
Publisher
Berlin ; New York : Springer-Verlag, 1981.
Date Published
1981.
Subjects
More information
Alternative Titles
Full title
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos.
Authors, Artists and Contributors
Notes
General note
Lecture notes in computer science ; 107.
Includes bibliographical references and index.
Transferred from N001.642/54.
Identifiers
Primary Identifiers
Call Numbers
T0369230
Record Identifier
74VvVBwN346X
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VvVBwN346X
Other Identifiers
ISBN
0387106995 (U.S. : pbk.)
9780387106991 (U.S. : pbk.)
DDC
001.642
MMS ID
991010188739702626
