Formal Methods for Hardware Verification

Simple item page
dc.contributor.editorBernardo, Marco
dc.contributor.editorCimatti, Alessandro
dc.date.accessioned2019-01-09T07:22:35Z
dc.date.accessioned2024-06-28T14:01:12Z
dc.date.available2019-01-09T07:22:35Z
dc.date.available2024-06-28T14:01:12Z
dc.date.issued2006
dc.identifier.isbn978-3-540-34304-2
dc.identifier.urihttps://drs.ess.gov.et/handle/123456789/34148
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.subjectFormal Methods for Hardware Verificationen_US
dc.titleFormal Methods for Hardware Verificationen_US
dc.typeBooken_US

Files

Collections

Information Technology
@ ETHIOPIAN STATISTICAL SERVICE 2024