Record:   Prev Next
Author Logics of Programs Workshop (3rd : 1981 : Yorktown Heights, N.Y.)
Title Logics of programs workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
Imprint Berlin ; New York : Springer-Verlag, 1982
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro F3.1 L8325 1981  LNCS 131    LIB USE ONLY    30330000016134
Record:   Prev Next