621.3815
Yuan, Jun.
Constraint-Based Verification [electronic resource] / / by Jun Yuan, Carl Pixley, Adnan Aziz. .- XII, 254 p. 72 illus.. online resource.
TK7888.4
ISBN: 9780387307848
10.1007/0-387-30784-2 doi
Subject Headings:
Engineering.;
Computer-aided engineering.;
Electrical engineering.;
Electronic circuits.;
Engineering.;
Circuits and Systems.;
Computer-Aided Engineering (CAD, CAE) and Design.;
Electrical Engineering.;
Author Added Entry:
Pixley, Carl.;
Aziz, Adnan.;
Copy Details:
Acc. No.: EBK8790, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Yuan, Jun.
Constraint-Based Verification [electronic resource] / / by Jun Yuan, Carl Pixley, Adnan Aziz. .- XII, 254 p. 72 illus.. online resource.
TK7888.4
ISBN: 9780387307848
10.1007/0-387-30784-2 doi
Subject Headings:
Engineering.;
Computer-aided engineering.;
Electrical engineering.;
Electronic circuits.;
Engineering.;
Circuits and Systems.;
Computer-Aided Engineering (CAD, CAE) and Design.;
Electrical Engineering.;
Author Added Entry:
Pixley, Carl.;
Aziz, Adnan.;
Copy Details:
Acc. No.: EBK8790, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------