Wellcome

A roadmap for formal property verification Pallab Dasgupta

By: Dasgupta PallabMaterial type: TextTextLanguage: Eng Publication details: New Delhi : Springer, 2006Description: xiii, 251 p,: 23 cmISBN: 9781402047572Subject(s): Integrated circuits -- Verification. TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Integrated. TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- GeneralDDC classification: 621.3815 DAS
Item type:
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 Books Bahadur Institute of Mgmt Sciences
621.3815 DAS (Browse shelf (Opens below)) Available BMS07523

Include Index

There are no comments on this title.

to post a comment.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha