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 »
Recensies van Formal Equivalence Checking and Design Debugging door Shi-Yu Huang, Kwang-Ting (Tim) Cheng & Kwang-Ting Gtimm Cheng