Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules

Regular price $25.00 Sale

Publication Info

• Publisher: Cambridge University Press
• Edition: n/a
• Date Published: 1992
• Place Published: n/a
• ISBN: 0521404363

Details

• Condition: Very good +
• Signed: No
• Dust Jacket: No
• Jacket Condition: n/a
• Details:
  Cambridge Tracts in Theoretical Computer Science 27.ix, 223 cm. 26 cm. Signature and ink stamp on first leaf.