Ernest. G. Manes (Manes, Ernest. G.)

used books, rare books and new books

• 
  Algebraic Approaches to Program Semantics (Monographs in Computer Science)

  ISBN 9780387963242 (978-0-387-96324-2)
  Hardcover, Springer Verlag, 1986

  
  Find This Book

   

   

  › Find signed collectible books: 'Algebraic Approaches to Program Semantics (Monographs in Computer Science)'
  
• 
  Algebraic Theories (Graduate Texts in Mathematics, 26)

  ISBN 9781461298625 (978-1-4612-9862-5)
  Softcover, Springer, 2011

  
  Find This Book

   

   

  › Find signed collectible books: 'Algebraic Theories (Graduate Texts in Mathematics, 26)'
  
• 
  Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)
  

  by Ernest. G. Manes

  ISBN 9780511569821 (978-0-511-56982-1)
  Cambridge University Press, 2010

  
  Find This Book

   

   

  › Find signed collectible books: 'Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)'
  
• 
  Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
  

  by Ernest. G. Manes

  ISBN 9780521616102 (978-0-521-61610-2)
  Softcover, Cambridge University Press, 2004

  
  Find This Book

   

   

  › Find signed collectible books: 'Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)'
  

  More editions of Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33):

  • Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33): ISBN 9780521420365 (978-0-521-42036-5)
    Hardcover, Cambridge University Press, 1992
  • Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33): ISBN 9780521616102 (978-0-521-61610-2)
    Softcover, Cambridge University Press, 2004