Predicate calculus and program semantics

書誌事項

Predicate calculus and program semantics

Edsger W. Dijkstra, Carel S. Scholten

(Texts and monographs in computer science)

Springer-Verlag, c1990

  • : us
  • : gw

大学図書館所蔵 件 / 32

この図書・雑誌をさがす

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ