NUST Institutions Library Catalogue

SAT-based scalable formal verification solutions Malay, Ganai

By: Ganai, Malay | Gupta, AartiContributor(s): Malay, GanaiPublisher: New York Springer 2007Description: 326 pISBN: 9781441943415Subject(s): Integrated circuits--VerificationDDC classification: 621.381548
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Home library Collection Shelving location Call number Status Date due Barcode Item holds
Book Book Central Library (CL)
Central Library (CL)
NFIC General Stacks 621.381548 GAN (Browse shelf) Available SEECS011340
Total holds: 0

There are no comments on this title.

to post a comment.
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.