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

著者

• Hesselink, Wim H.

書誌事項

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

Wim H. Hesselink

（Cambridge tracts in theoretical computer science, 27）

Cambridge University Press, 1992

注記

Bibliographical references: p. [217]-220

Includes index

詳細情報

• NII書誌ID(NCID): BA14406674
• ISBN:
  • 0521404363
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge ; New York
• ページ数/冊数: xii, 223 p.
• 大きさ: 26 cm
• 親書誌ID:
  • BA01121831