Knowledge Resources | Dar Al-hikmah Library | Public Access
Subject(s): Computer systems -- Verification Mathematical models | Integrated circuits -- Verification Mathematical models | Electronic systems -- Verification Mathematical models Holdings: ,e-Book,Gombak Campus Library,e-Book Collection,,eb QA 76.76 V47 W246A 2006,Not for loan,00010989012