00290 a2200121 450000500170000002000180001710000210003524500480005625000080010426000300011294200070014299900190014920260121165110.0 a9780128147610 a Kotu v.9216243 aDigital Systems Testing And Testable Design a2nd bMorgan Kaufmann Pubc2019 cAR c369933d369933