Search Results

You searched for: subject "Digital integrated circuits+Design and construction.+Data processing." Remove constraint

Search Results

Cover image for Computer-aided verification

Computer-aided verification

Location Call # Status
Joyner - General Stacks TK7874 .D553 1990A ✔ Available
Cover image for VHDL

VHDL

Location Call # Status
Joyner - General Stacks TK7874 .N36 1993 ✔ Available
Cover image for SPARK

SPARK

Location
Access Content Online
Cover image for Theory of CMOS digital circuits and circuit failures

Theory of CMOS digital circuits and circuit failures

Location Call # Status
Joyner - General Stacks TK7871.99.M44 S525 1992 ✔ Available
Cover image for Formal methods in computer-aided design

Formal methods in computer-aided design

Location Call # Status
Joyner - General Stacks TK7874.65 .F53 1996 ✔ Available
Cover image for Theorem provers in circuit design

Theorem provers in circuit design

Location Call # Status
Joyner - General Stacks TK7874.65 .T54 1995 ✔ Available