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
Verification Of Object-Oriented Software
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the soft... »
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the soft... »
Idea box
