Formal specification and verification of digital systems / George Milne.
Material type:
TextPublication details: London : New York : McGraw-Hill, c1994.Description: xiv, 240 p. : ill. ; 24 cmISBN: - 007707811X :
- 621.39/2 20
- TK7874.65 .M55 1994
Reviews from LibraryThing.com:
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Main Short
|
KCA Kisumu Campus | Non-fiction | TK7874.65 .M55 1994 (Browse shelf(Opens below)) | 2258/07 | Available | Z00033637 |
Browsing KCA Kisumu Campus shelves, Collection: Non-fiction Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| TK7871.85 A495 2005 Fundamentals of semiconductor devices / | TK 7871.85 .B33 1997 Introductory electronic devices and circuits / | TK7871.85 .S77 2006 Solid state electronic devices / | TK7874.65 .M55 1994 Formal specification and verification of digital systems / | TK7874.65 .W34 2008 Digital design : | TK7874.65 .W34 2008 Digital design : | TK7874.75 .V585 2003 VLSI technology / |
Includes bibliographical references (p. 232-235) and index.
There are no comments on this title.