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
Data Refinement
This work offers a systematic account of the important method of data refinement, which is one of the most powerful formal methods for system development. Th... »
This work offers a systematic account of the important method of data refinement, which is one of the most powerful formal methods for system development. Th... »
Idea box
