Formal specification and verification of digital systems / George Milne.
Material type:
TextPublication details: London : McGraw-Hill, c1994.Description: xiv, 240 p. : ill. ; 24 cmISBN: - 007707811X (hbk.)
Ordinary Loan Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Ordinary Loan Books
|
Main Library | NFIC | TK7874.65 MIL (Browse shelf(Opens below)) | Available | 92003019672 |
Browsing Main Library shelves,Shelving location: General Stacks,Collection: Non-fiction Close shelf browser (Hides shelf browser)
| TK7874.65 GAJ Principles of digital design / | TK7874.65 HNA Digital integrated circuit testing from a quality perspective / | TK7874.65 MIC Synthesis and optimization of digital circuits / | TK7874.65 MIL Formal specification and verification of digital systems / | TK7874.65 PAT Digital microelectronics/ | TK7874.65 PEP The digital IC gallery / | TK7874.65 PEP The digital IC gallery / |
Includes index.
Includes bibliographical references .
There are no comments on this title.
Log in to your account to post a comment.