Formal specification and verification of digital systems
Material type:
TextLanguage: English Publication details: London McGraw-HillBook Company 1994Description: xiv,240pISBN: - 007707811X (hbd)
- D65,221:5, N4
Textual
| 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 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Textual
|
Central Science Library | Central Science Library | D65,221:5 N4 (Browse shelf(Opens below)) | Available | SL1173313 |
Bibliographical references 232-235p; Index 236-240p
There are no comments on this title.
Log in to your account to post a comment.