Formal verification : an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert and M V Achutha Kiran Kumar

By:

Contributor(s):

Material type:

TextPublication details: Amsterdam : Elsevier, 2015.Description: xvii, 353 pages : Illistrations ; 24 cmISBN:

Subject(s):

LOC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Book	Main Library				TK 7874.75 SEL 2015 (Browse shelf(Opens below))				1	Available			33729005567461

Includes index

There are no comments on this title.

to post a comment.