Cover Image

QR Code

Formal methods in circuit design /

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Stavridou, V.
Format:	Book
Language:	English
Published:	New York : Cambridge, c1993.
Subjects:	Electronic digital computers > Circuits. Engineering design > computer programs.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal methods in circuit design /
by: Stavridou, V.
Published: (1993)

Digital design /
by: Mano, M. Morris, 1927-
Published: (2002)

Digital design /
by: Mano, M. Morris, 1927-
Published: (2007)

Digital design /
by: Mano, M. Morris, 1927-
Published: (2007)

Digital design /
by: Mano, M. Morris, 1927-
Published: (2002)

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

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

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

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

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

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

Digital logic design
by: Holdsworth, B. (Brian)
Published: (2002)

Digital logic design
by: Holdsworth, B. (Brian)
Published: (2002)

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

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

The principles of computer hardware /
by: Clements, Alan, 1948-
Published: (2000)

The principles of computer hardware /
by: Clements, Alan, 1948-
Published: (2000)

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

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

Fundamentals of digital logic : with VHDL design /
by: Brown, Stephen
Published: (2009)

Fundamentals of digital logic : with VHDL design /
by: Brown, Stephen
Published: (2009)

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

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

Demystifying chipmaking
by: Yanda, Richard F.
Published: (2005)

Demystifying chipmaking
by: Yanda, Richard F.
Published: (2005)

The circuit designer's companion
by: Williams, Tim, 1954-
Published: (2005)

The circuit designer's companion
by: Williams, Tim, 1954-
Published: (2005)

Digital circuit boards mach 1 GHz /
by: Morrison, Ralph
Published: (2012)

Digital circuit boards mach 1 GHz /
by: Morrison, Ralph
Published: (2012)

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

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

Analog circuit design
Published: (2013)

Analog circuit design
Published: (2013)

Digital principles and circuits
by: Agarwal, C. B.
Published: (2006)

Digital principles and circuits
by: Agarwal, C. B.
Published: (2006)

Intuitive analog circuit design /
by: Thompson, Marc T.
Published: (2014)

Intuitive analog circuit design /
by: Thompson, Marc T.
Published: (2014)

Microelectronic circuit design /
by: Jaeger, Richard C.
Published: (2006)

Microelectronic circuit design /
by: Jaeger, Richard C.
Published: (2006)

RF circuit design
by: Li, Richard Chi-Hsi, 1938-
Published: (2012)