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
The Formal Semantics of Programming Languages Provides the basic mathematical techniques necessary for those who are beginning a study of semantics and logics of programming languages. Although the treat... »