Symbolic simulation methods for industrial formal verification Robert B. Jones
Material type: TextLanguage: English Publication details: Norwell Kluwer Academic Publishers 2002Description: xviii, 150 p. ; 23 cmISBN:- 9781402071034
- 621.395 JON
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | National Institute of Technology, Silchar | 621.395 JON (Browse shelf(Opens below)) | Available | 83537 |
Includes bibliographical references and index
N. E. Books, Silchar
There are no comments on this title.