Logics of programs
Subtitle: Brooklyn, June 17-19, 1985 : proceedings
By: edited by Rohit Parikh.
Contributors: Parikh, Rohit, 1936-
Series: Lecture notes in computer science ;; 193
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 424
Subjects: Computer programs -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.
Papers presented at a conference held at Brooklyn College June 17-19, 1985.