Predicate transformer semantics

書誌事項

Predicate transformer semantics

Ernest G. Manes

(Cambridge tracts in theoretical computer science, 33)

Cambridge University Press, 1992

大学図書館所蔵 件 / 30

この図書・雑誌をさがす

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

詳細情報

ページトップへ