Jump to main content

yr 〜
yr

Search results 3

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

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

Lecture notes in computer science

Lecture notes in computer science
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material... : proceedings Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 Types for proofs and programs...

Reached to the end of result.

RSS