Constraint-Based Verification
Yuan, Jun.
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. - Boston, MA : Springer Science+Business Media, Inc., 2006. - v.: digital
9780387307848
Engineering
Computer aided design
Systems engineering
Engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Electronic and Computer Engineering
Q340 . / Y83 2006
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz. - Boston, MA : Springer Science+Business Media, Inc., 2006. - v.: digital
9780387307848
Engineering
Computer aided design
Systems engineering
Engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Electronic and Computer Engineering
Q340 . / Y83 2006