Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science - Wim H. Hesselink - Books - Cambridge University Press - 9780521018296 - August 22, 2005
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

Price
zł 240.90
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 21 - Sep 3

Our customers say:

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

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

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

240 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 22, 2005
ISBN13 9780521018296
Publishers Cambridge University Press
Pages 240
Dimensions 170 × 245 × 12 mm   ·   385 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

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