Advanced formal verification /
16
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Dordrecht : Kluwer Academic Publishers,
2004
|
| Subjects: |
| _version_ | 1796701889978433536 |
|---|---|
| author | Drechsler, Rolf |
| author_facet | Drechsler, Rolf |
| author_sort | Drechsler, Rolf |
| collection | OCEAN |
| description | 16 |
| first_indexed | 2024-03-05T02:20:49Z |
| format | |
| id | KOHA-OAI-TEST:277171 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T02:20:49Z |
| publishDate | 2004 |
| publisher | Dordrecht : Kluwer Academic Publishers, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2771712020-12-19T17:08:57ZAdvanced formal verification / Drechsler, Rolf Dordrecht : Kluwer Academic Publishers,2004eng16PSZJBLElectronic circuitsURN:ISBN:1402077211 (hbk.) |
| spellingShingle | Electronic circuits Drechsler, Rolf Advanced formal verification / |
| title | Advanced formal verification / |
| title_full | Advanced formal verification / |
| title_fullStr | Advanced formal verification / |
| title_full_unstemmed | Advanced formal verification / |
| title_short | Advanced formal verification / |
| title_sort | advanced formal verification |
| topic | Electronic circuits |
| work_keys_str_mv | AT drechslerrolf advancedformalverification |