Jump to main content

yr 〜
yr

Search results 4

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M15-A1974>
National Diet Library
  • Note (General)Proceedings of the Logics of Programs Workshop.
  • Author Heading... Dexter, 1951- Logics of Programs Workshop (1983 : Carnegie Mellon Unive...

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us
Paper図書
edited by Edmund Clarke and Dexter KozenSpringer-Verlag1984
Other Libraries in Japan
  • Author HeadingClarke, Edmund Kozen, Dexter Logics of Programs Workshop

Logics of programs : workshop, Yorktown Heights, New York, May 1981 : gw : us

Logics of programs : workshop, Yorktown Heights, New York, May 1981 : gw : us
Paper図書
edited by Dexter KozenSpringer-Verlag1982
Other Libraries in Japan
  • Author HeadingLogics of Programs Workshop Kozen, Dexter

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen. (Lecture notes in computer science)

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen. (Lecture notes in computer science)
Paper図書
Springer-Verlag1982.<M15-A1493>
National Diet Library
  • Author HeadingLogics of Programs Workshop (1981 : Yorktown Heights, N.Y...

Reached to the end of result.

RSS