1. Symbolic model checking
پدیدآورنده : by Kenneth L. McMillan
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing
رده :
TK
7888
.
4
.
M43
1993
2. Symbolic model checking
پدیدآورنده : by Kenneth L. McMillan
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing
رده :
TK
7888
.
4
.
M43
1993
