Yuan, Jun.
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. - Boston, MA : Springer US, 2006. - digital.
9780387307848
10.1007/0-387-30784-2 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronic and Computer Engineering.
TK7888.4
621.3815
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. - Boston, MA : Springer US, 2006. - digital.
9780387307848
10.1007/0-387-30784-2 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronic and Computer Engineering.
TK7888.4
621.3815