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 ».
Wall
There are no messages on Predicate Transformer Semantics wall yet.
Idea box
