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.

Remote Storage