Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
| Additional Physical Format: | Online version: Perry, Douglas L. Applied formal verification. New York : McGraw-Hill, c2005 (OCoLC)607609527 |
|---|---|
| Material Type: | Internet resource |
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Douglas L Perry; Harry Foster |
| ISBN: | 007144372X 9780071443722 |
| OCLC Number: | 60188400 |
| Description: | xiv, 237 p. : ill. ; 24 cm. |
| Series Title: | McGraw-Hill electronic engineering series. |
| Responsibility: | Douglas L. Perry, Harry D. Foster. |
| More information: |
Abstract:
Annotation
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Applied formal verification".
Be the first.
