Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author(s)
Bibliographic Information
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
(Lecture notes in computer science, 193)
Springer-Verlag, c1985
- : gw
- : us
Available at / 60 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||19385033320
-
University of Tsukuba Library, Library on Library and Information Science
Germany007.08:L-49:193881003960,851009150
-
No Libraries matched.
- Remove all filters.
Note
Papers presented at a conference held at Brooklyn College June 17-19, 1985
Includes bibliographies