Normal View ISBD View

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen - Berlin : Springer-Verlag, 1984 - VI, 527 p. : ill. ; 25 cm. - Lecture notes in computer science ; 164 .

ISBN: 3540128964

Subjects--Topical Terms:
Electronic digital computers--Programming--Congresses

LC Class. No.: QA76.6.L595