Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Amazon cover image
Image from Amazon.com

Scalable hardware verification with symbolic simulation

By: Material type: TextTextPublication details: New York Springer 2006Description: xx, 177pISBN:
  • 9780387244112
Subject(s): DDC classification:
  • 621.395 B461s
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur COMPACT STORAGE (BASEMENT) 621.395 B461s (Browse shelf(Opens below)) Link to resource Available A174766
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha