Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules

書誌事項

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules

Wim H. Hesselink

(Cambridge tracts in theoretical computer science, 27)

Cambridge University Press, 2005

  • : pbk

この図書・雑誌をさがす
注記

"This digitally printed first paperback version 2005"--T.p.verso

Bibliographical references: p. [217]-220

Includes index

関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA77914137
  • ISBN
    • 0521018293
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Cambridge
  • ページ数/冊数
    xii, 223 p.
  • 大きさ
    25 cm
  • 親書誌ID
ページトップへ