Applied formal verification / Douglas L. Perry, Harry D. Foster.
Material type: TextLanguage: English Series: McGraw-Hill electronic engineering seriesPublication details: New York : McGraw-Hill, c2005.Description: xiv, 237 p. : ill. ; 24 cmISBN:- 007144372X
- 621.3815 22 PEA 2005
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | Eastern University Library General Stacks | 621.3815 PEA 2005 (Browse shelf(Opens below)) | Not For Loan | 07976 | ||
Books | Eastern University Library General Stacks | 621.3815 PEA 2005 (Browse shelf(Opens below)) | Available | 07977 |
Includes bibliographical references (p. 227-229) and index.
There are no comments on this title.
Log in to your account to post a comment.