Jump to main content

yr 〜
yr

Search results 2

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki. (Lecture notes in computer science ; 148)

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki. (Lecture notes in computer science ; 148)
Paper図書
Springer-Verlag1983.<M159-158>
National Diet Library
  • Author HeadingSymposium on Logics of Programs and their Applications (1980 : Poznán, Poland) Salwi...

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 : gw : us

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 : gw : us
Paper図書
edited by A. SalwickiSpringer-Verlag1983
Other Libraries in Japan
  • Author HeadingSymposium on Logics of Programs and Their Applications Salwicki, Andrzej

Reached to the end of result.

RSS