Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983. (English) Zbl 0533.00026

Lecture Notes in Computer Science, 164. Berlin etc.: Springer-Verlag. VI, 527 p. DM 57.00; $ 21.30 (1984).
The articles of this volume will be reviewed individually under the abbreviation ”Logics of programs, Workshop, Pittsburgh/PA 1983, Lect. Notes Comput. Sci. 164”.


00Bxx Conference proceedings and collections of articles
68-06 Proceedings, conferences, collections, etc. pertaining to computer science