Equational theorem proving methods for hardware verification (R)

By: Gopale, Shyamsunder RContributor(s): Sivakumar, GLanguage: English Series: Publication details: Mumbai ; IIT ; 1999Edition: Description: vi,61 p; 28 cmISBN: Subject(s): Sivakumar, G | Theses and Dissertations | Integrated circuits-Verification , Automatic theorem proving , Computers
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Theses and Dissertations Theses and Dissertations Central Library, IITB
043:681.3.07:517.1Gop Not for loan D02B15 186494
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha