Predicate Transformer Semantics - Cambridge Tracts in Theoretical Computer Science - Manes, Ernest. G. (University of Massachusetts, Amherst) - Books - Cambridge University Press - 9780521616102 - December 2, 2004
In case cover and title do not match, the title is correct

Manes, Ernest. G. (University of Massachusetts, Amherst)
Predicate Transformer Semantics - Cambridge Tracts in Theoretical Computer Science

Price
Íkr 10,309
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 22 - Aug 5
Get notified about new Manes, Ernest. G. (University of Massachusetts, Amherst) releases

Our customers say:

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

Not rated yet

This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

236 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 2, 2004
ISBN13 9780521616102
Publishers Cambridge University Press
Pages 236
Dimensions 188 × 245 × 17 mm   ·   426 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.

More from the same publisher

See all of Manes, Ernest. G. (University of Massachusetts, Amherst) ( e.g. Paperback Book )