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
Principles Of Model Checking Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing ... »