Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science - Wim H. Hesselink - Books - Cambridge University Press - 9780521404365 - May 21, 1992
In case cover and title do not match, the title is correct

Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

Wim H. Hesselink

Login to be notified when the product is available again

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

A complete account of the predicate transformation calculus semantics of sequential programs.

235 pages, illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 21, 1992
ISBN13 9780521404365
Publishers Cambridge University Press
Pages 235
Dimensions 179 × 256 × 16 mm   ·   578 g

See all of Wim H. Hesselink ( e.g. Hardcover Book and Paperback Book )