Book
Predicate Transformer Semantics
Presents a rigorous foundation for defining Boolean categories designed to appeal to graduate students and researchers in theoretical computer science. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780521616102
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books related to Predicate Transformer Semantics by Ernest G. Manes
No related books yet.
Idea box
