Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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 »
