Cover Image

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /

Bibliographic Details
Other Authors: Parikh, Rohit, 1936-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1985]
Series:Lecture notes in computer science ; 193.
Subjects:
Computer programs > Congresses.
Logic, Symbolic and mathematical > Congresses.
Description
Item Description:Papers presented at a conference held at Brooklyn College June 17-19, 1985.
Physical Description:vi, 424 pages ; 25 cm.
Bibliography:Includes bibliographies.
ISBN:0387156488 (U.S. : pbk.)