Practical Design Verification
| dc.contributor.editor | Pradhan, Dhiraj K. | |
| dc.date.accessioned | 2018-11-15T13:01:19Z | |
| dc.date.accessioned | 2024-06-27T15:58:14Z | |
| dc.date.available | 2018-11-15T13:01:19Z | |
| dc.date.available | 2024-06-27T15:58:14Z | |
| dc.date.issued | 2009 | |
| dc.identifier.isbn | 978-0-511-65091-8 | |
| dc.identifier.uri | https://drs.ess.gov.et/handle/123456789/21890 | |
| dc.language.iso | en | en_US |
| dc.publisher | in the United States of America by Cambridge University Press, New York | en_US |
| dc.subject | Model checking and equivalence checking | en_US |
| dc.title | Practical Design Verification | en_US |
| dc.type | Book | en_US |