1. Formal verification :
المؤلف: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867