My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
E-RESOURCE
Author Kundu, Sudipta.

Title High-level verification [electronic resource] : methods and tools for verification of system-level designs / Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta.

Published New York : Springer, c2011.

Copies

Location Call No. Status
 UniM INTERNET resource    AVAILABLE
Physical description 1 online resource (xiii, 167 p.)
Bibliography Includes bibliographical references and index.
Notes Description based on print version record.
Other author Lerner, Sorin.
Gupta, Rajesh Kumar, 1961-
Subject Integrated circuits -- Verification.
Electronic books.
ISBN 9781441993595 (electronic bk.)
1441993592 (electronic bk.)