Cover Image

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /

Show other versions (1)
Bibliographic Details
Corporate Author: Logics of Programs Workshop Carnegie Mellon University
Other Authors: Clarke, Edmund, Kozen, Dexter, 1951-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1984.
Series:Lecture notes in computer science ; 164.
Subjects:
Computer programming > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.6 .L594 1983
 
Call Number Status Get It
QA76.6 .L594 1983 Available