Summary goes here
Sparad:
| Materialtyp: | Bok |
|---|---|
| Språk: | engelska |
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | f939f032-1c6a-4492-a492-eab7c2f60d91 |
| isbn | 0792383753 |
| issn | |
| language | eng |
| physical | xvi, 158 pages :illustrations ;25 cm |
| publication | – publisher: Kluwer Academic Publishers dateOfPublication: 1999 |
| publishDate | 1999 |
| subjects | |
| title | Formal semantics and proof techniques for optimizing VHDL models / Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey. |
| topic | VHDL (Computer hardware description language) |