Formal description of programming concepts
By: Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.].
Contributors: Neuhold, Erich J.; Paul, Manfred, 1932-; Apt, Krzysztof R., 1949-; IFIP Working Group 2.2.
Series: IFIP state-of-the-art reports
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 507
Subjects: Computer programming
Notes: Includes bibliographical references.
Based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989.