Current trends in hardware verification and automated theorem proving

By:

Contributor(s):

Publication details: New York Springer-Verlag 1989Edition: Description: 489pISBN:

ISSN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University Library	621.3.049.77 BIR (Browse shelf(Opens below))	Available		00037171

Previous		No cover image available		No cover image available				Next
Previous	621.3.049.77 BHA VHDL Primer	621.3.049.77 BIE Microelectronic design	621.3.049.77 BIG Digital electronics	621.3.049.77 BIR Current trends in hardware verification and automated theorem proving	621.3.049.77 BIR Electrical circuit theory and technology	621.3.049.77 BIR "2006" Electrical circuit theory and technology	621.3.049.77 BIR;1 Electrical circuit theory and technology	Next

There are no comments on this title.

to post a comment.