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

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 »
 
 
 
 
 

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