Tell your friends about this item:
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method Eduard Cerny Annotated edition
Price
A$ 162.99
excl. VAT
Ordered from remote warehouse
Expected delivery Jan 12 - 22, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Also available as:
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
Eduard Cerny
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers.
211 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | October 31, 1998 |
| ISBN13 | 9780792383017 |
| Publishers | Springer |
| Pages | 211 |
| Dimensions | 155 × 235 × 14 mm · 503 g |
| Language | English |
![Cover for Eduard Cerny · SVA: The Power of Assertions in SystemVerilog (Paperback Book) [Softcover reprint of the original 2nd ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/096/9783319331096.jpg?eduard-cerny-2016-sva-the-power-of-assertions-in-systemverilog-paperback-book&class=scaled&v=1487418566)
![Cover for Eduard Cerny · SVA: The Power of Assertions in SystemVerilog (Hardcover Book) [2nd ed. 2015 edition] (2014)](https://imusic.b-cdn.net/images/item/original/381/9783319071381.jpg?eduard-cerny-2014-sva-the-power-of-assertions-in-systemverilog-hardcover-book&class=scaled&v=1487418566)