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
Predicate Transformer Semantics
Presents a rigorous foundation for defining Boolean categories designed to appeal to graduate students and researchers in theoretical computer science. »
Presents a rigorous foundation for defining Boolean categories designed to appeal to graduate students and researchers in theoretical computer science. »
