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

Type and Effect Systems
Type and Effect Systems
Behaviours For Concurrency »
 
 
 
 
 

Design And Verification Of Microprocessor Systems For High-Assurance Applications
Design And Verification Of Microprocessor Systems For High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications »