Imatge de la portada

Codi QR

Formal methods in circuit design /

Veure altres versions (1)

Guardat en:

Dades bibliogràfiques
Autor principal:	Stavridou, V.
Format:	Llibre
Idioma:	anglès
Publicat:	New York : Cambridge, c1993.
Matèries:	Electronic digital computers > Circuits. Engineering design > computer programs.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Formal methods in circuit design /
per: Stavridou, V.
Publicat: (1993)

Digital design /
per: Mano, M. Morris, 1927-
Publicat: (2002)

Digital design /
per: Mano, M. Morris, 1927-
Publicat: (2007)

Digital design /
per: Mano, M. Morris, 1927-
Publicat: (2002)

Digital design /
per: Mano, M. Morris, 1927-
Publicat: (2007)

Design of analog circuits through symbolic analysis
Publicat: (2012)

Design of analog circuits through symbolic analysis
Publicat: (2012)

Analog circuit design for communication SOC
per: Hung-Lung Tu, Steve
Publicat: (2012)

Analog circuit design for communication SOC
per: Hung-Lung Tu, Steve
Publicat: (2012)

Introduction to computer design and implementation /
per: Ahmad, S. Imtiaz
Publicat: (1981)

Introduction to computer design and implementation /
per: Ahmad, S. Imtiaz
Publicat: (1981)

Digital logic design
per: Holdsworth, B. (Brian)
Publicat: (2002)

Digital logic design
per: Holdsworth, B. (Brian)
Publicat: (2002)

The principles of computer hardware /
per: Clements, Alan, 1948-
Publicat: (2000)

The principles of computer hardware /
per: Clements, Alan, 1948-
Publicat: (2000)

The designer's guide to VHDL
per: Ashenden, Peter J.
Publicat: (2008)

The designer's guide to VHDL
per: Ashenden, Peter J.
Publicat: (2008)

Computer technology : digital priniciples to interfacing /
per: Lawrence, O.R
Publicat: (1990)

Computer technology : digital priniciples to interfacing /
per: Lawrence, O.R
Publicat: (1990)

Fundamentals of digital logic : with VHDL design /
per: Brown, Stephen
Publicat: (2009)

Fundamentals of digital logic : with VHDL design /
per: Brown, Stephen
Publicat: (2009)

Digital System Test and Testable Design Using HDL Models and Architectures /
per: Navabi, Zainalabedin
Publicat: (2011)

Digital System Test and Testable Design Using HDL Models and Architectures /
per: Navabi, Zainalabedin
Publicat: (2011)

Demystifying chipmaking
per: Yanda, Richard F.
Publicat: (2005)

Demystifying chipmaking
per: Yanda, Richard F.
Publicat: (2005)

The circuit designer's companion
per: Williams, Tim, 1954-
Publicat: (2005)

The circuit designer's companion
per: Williams, Tim, 1954-
Publicat: (2005)

Digital circuit boards mach 1 GHz /
per: Morrison, Ralph
Publicat: (2012)

Digital circuit boards mach 1 GHz /
per: Morrison, Ralph
Publicat: (2012)

Circuit design : anticipate, analyze, exploit variations /
per: Weber, Stephan, et al.
Publicat: (2017)

Circuit design : anticipate, analyze, exploit variations /
per: Weber, Stephan, et al.
Publicat: (2017)

Analog circuit design
Publicat: (2013)

Analog circuit design
Publicat: (2013)

Digital principles and circuits
per: Agarwal, C. B.
Publicat: (2006)

Digital principles and circuits
per: Agarwal, C. B.
Publicat: (2006)

Intuitive analog circuit design /
per: Thompson, Marc T.
Publicat: (2014)

Intuitive analog circuit design /
per: Thompson, Marc T.
Publicat: (2014)

Microelectronic circuit design /
per: Jaeger, Richard C.
Publicat: (2006)

Microelectronic circuit design /
per: Jaeger, Richard C.
Publicat: (2006)

RF circuit design
per: Li, Richard Chi-Hsi, 1938-
Publicat: (2012)