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
Validation of Communications Systems with Sdl
This title provides a step-by-step guide to validating a simplified protocol stack from interactive simulation to proof of properties using reachability anal... »
This title provides a step-by-step guide to validating a simplified protocol stack from interactive simulation to proof of properties using reachability anal... »
