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

CiNii Available at 2 libraries

Bibliographic Information

Title
"Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules"
Statement of Responsibility
Wim H. Hesselink
Publisher
  • Cambridge University Press
Publication Year
  • 2005
Book size
25 cm
Series Name / No
  • : pbk

Search this Book/Journal

Notes

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

Bibliographical references: p. [217]-220

Includes index

Related Books

See more

Details 詳細情報について

  • CRID
    1130000798129800192
  • NII Book ID
    BA77914137
  • ISBN
    0521018293
  • Text Lang
    en
  • Country Code
    uk
  • Title Language Code
    en
  • Place of Publication
    • Cambridge
  • Data Source
    • CiNii Books
Back to top