Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Author(s)
Bibliographic Information
Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
（Lecture notes in computer science, 164）
Springer-Verlag, 1984
- : gw
- : us
Available at / 53 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||16484009804
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:164841005920
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
