Iteration theories : the equational logic of iterative processes

書誌事項

Iteration theories : the equational logic of iterative processes

Stephen L. Bloom, Zoltán Ésik

(EATCS monographs on theoretical computer science)

Springer-Verlag, c1993

  • : us
  • : gw

大学図書館所蔵 件 / 26

この図書・雑誌をさがす

注記

Includes bibliographical references and index

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

詳細情報

ページトップへ