NUST Institutions Library Catalogue

Higher order logic and hardware verification

By: Melham, T. F. (Tom F.)Material type: TextTextSeries: Cambridge tracts in theoretical computer science ; 31Publisher: New York Cambridge University Press 1993Description: xiii, 165 p. ill. ; 26 cmISBN: 9780521115322Subject(s): 1. Integrated circuits --Very large scale integration --Data processing. 2. Logic, Symbolic and mathematicalDDC classification: 621.392
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.392 MEL (Browse shelf) Available SEECS012388
Total holds: 0

Includes bibliographical references (p. [147]-157) and index.

There are no comments on this title.

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