Logics of Programs Workshop, Yorktown Heights, New York, May 1981
By: edited by Dexter Kozen.
Contributors: Kozen, Dexter, 1951-
Series: Lecture notes in computer science ;; 131
Publisher: Springer-Verlag
Published: 1982
Place of publication: Berlin; New York
Language: eng
Number of pages: 429
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographies.