Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

Author(s)

Bibliographic Information

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

edited by Rohit Parikh

(Lecture notes in computer science, 193)

Springer-Verlag, c1985

  • : gw
  • : us

Available at  / 60 libraries

Search this Book/Journal

Note

Papers presented at a conference held at Brooklyn College June 17-19, 1985

Includes bibliographies

Related Books: 1-1 of 1

Details

Page Top