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 ».

Sign Up

Books

Understanding Formal Methods
Understanding Formal Methods
Provides an introduction to the field of formal methods. It combines a rigorous exposition of the underlying mathematics and concrete examples of implementat... »