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

Wim H. Hesselink
Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

Get an email once the item is available
Do you have a profile? Log in

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:

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

Mere med samme udgiver

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