Media type: Book Title: Formal specification and verification in VLSI design Contributor: Davie, Bruce S. [Author] imprint: Edinburgh: Edinburgh University Press, 1990 Published in: Edinburgh information technology series ; 8 Extent: IX, 195 S; ill Language: English ISBN: 0748601597 Keywords: Integrated circuits ; Very large scale integration ; Computer-aided design ; Verification Origination: Footnote: Includes bibliographical references (p. 184-193) and index
Departmental Library DrePunct – stack Shelf-mark: 0892 80352 001 Item ID: 30806439 Status: Loanable, place order > Ordering possible ‒ please log in