Introduction to Formal Hardware Verification

By:

Material type: Text

TextPublication details: Newyork Springer Publisher 1999Description: 308ISBN:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Reference	NMIT	M.Tech-VLS	004.25 KRO (Browse shelf(Opens below))	Not for loan		17711
Books	NMIT	ECE	004.25 KRO (Browse shelf(Opens below))	Checked out	2012-07-02 00:00	17371
Books	NMIT	ECE	683 KRO (Browse shelf(Opens below))	Checked out	2010-08-25 00:00	11430
Books	NMIT	ECE	683 KRO (Browse shelf(Opens below))	Checked out	2010-08-25 00:00	11431
Books	NMIT	ECE	683 KRO (Browse shelf(Opens below))	Checked out	2010-08-25 00:00	11432

Previous					No cover image available	No cover image available		Next
Previous	004.25 GOD Microcontrollers: 8051 and Microcontrollers Family Architecture and Programming	004.25 GOD Microcontrollers: 8051 and Microcontrollers Family Architecture and Programming	004.25 GOD Microcontrollers: 8051 and Microcontrollers Family Architecture and Programming	004.25 KRO Introduction to Formal Hardware Verification	004.25 SRI Microprocessor 8086 Programming and Interfacing	004.33 KRI Real-Time Systems	004.35 CUL Parallel Computer Architecture :	Next

There are no comments on this title.

to post a comment.