著者典拠情報

著者標目形：
Logics of Programs Workshop
属性：
Meeting
場所：
Pittsburgh
日付：
1983
からも見よ参照形：
Symposium on Logics of Programs and Their Applications <DA02211776>
注記：
Its (1981 : Yorktown Heights, N.Y.). Logics of Programs Workshop, 1982: CIP t.p. (Logics of Programs Workshop, Yorktown Heights, New York, May 1981)
Its (1983 : Pittsburgh, Pa.). Logics of Programs Workshop, Carnegie Mellon University, Pittsburgh, PA ... 1984: CIP t.p. (Logics of Programs Workshop; Carnegie Mellon University, June 6-8, 1983) frwd. (also held in Zurich, 1979; Poznan, 1980; Yorktown Heights, 1981)
LC data base, 1-9-84 (hdg.: Symposium on Logics of Programs and Their Applications (1980 : Poznán, Poland))
著者典拠ID：
DA02211765


1.

図書
図書
1. Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (: gw ; : us)
edited by Edmund Clarke and Dexter Kozen
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 164
所蔵情報: 図書館
2.

図書
図書
2. Logics of programs : workshop, Yorktown Heights, New York, May 1981 (: gw ; : us)
edited by Dexter Kozen
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 131
所蔵情報: 図書館