The art of verification with Vera / Faisal I Haque...[et al]
Material type: TextPublisher number: HCLPublication details: Fremont, Calif. : Verification Central, 2001Description: xxiv, 452 p. : ill. ; 23 cmISBN: 097119940XGenre/Form: OpenVera (Computer hardware verification language) | Application-specific integrated circuits -- Testing. | The art of verification with Vera | computer science | Faisal I HaqueDDC classification: 808.1 VERItem type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
HCL Collection | SNU LIBRARY | 808.1 VER (Browse shelf(Opens below)) | Available | H12206 |
Total holds: 0
Browsing SNU LIBRARY shelves Close shelf browser (Hides shelf browser)
808.1 HER Writing Poetry | 808.1 RIC Practical Criticism | 808.1 TSU Toward a Theory of Cognitive Poetics | 808.1 VER The art of verification with Vera | 808.1 WIM The Verbal Icon | 808.10285 MOR New Media Poetics | 808.103 PRE New Princeton Encyclopedia of Poetry and Poetics |
There are no comments on this title.