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
Introduction To Formal Hardware Verification
Methods and Tools for Designing Correct Circuits and Systems »
Methods and Tools for Designing Correct Circuits and Systems »
Correct Hardware Design And Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings »
10th IFIP WG10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings »
Idea box
