Cover Image

Logics of Programs Workshop, Yorktown Heights, New York, May 1981 /

Show other versions (1)
Bibliographic Details
Corporate Author: Logics of Programs Workshop Yorktown Heights, N.Y.
Other Authors: Kozen, Dexter, 1951-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1982.
Series:Lecture notes in computer science ; 131.
Subjects:
Computer programming > Congresses.
Description
Physical Description:vi, 429 pages ; 25 cm.
Bibliography:Includes bibliographies.
ISBN:038711212X (U.S.)