Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Eduard. Cerny
11 träffar
|
Titel |
Författare |
År |
Språk |
| 1-2 |
The Power of Assertions in SystemVerilog
(flera utgåvor)
|
Eduard Cerny
|
2010 |
Engelska |
| 3 |
Verification Methodology Manual for SystemVerilog electronic resource
|
Janick. Bergeron
|
2006 |
Engelska |
| 4 |
Hardware Description Languages and Their Applications : Specification, Modelling, Verification and Synthesis of Microelectronic Systems
|
Carlos Delgado Kloos
|
1997 |
Okänt |
| 5 |
SVA: The Power of Assertions in SystemVerilog electronic resource / by Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny
|
Eduard. author. Cerny
|
uuuu-uuuu |
Okänt |
| 6 |
The Power of Assertions in SystemVerilog electronic resource / by Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny
|
Eduard. author. Cerny
|
uuuu-uuuu |
Okänt |
| 7 |
SVA: The Power of Assertions in SystemVerilog
|
Eduard. Cerny
|
2015 |
Engelska |
| 8 |
SVA: The Power of Assertions in SystemVerilog
|
Eduard Cerny
|
2015 |
Okänt |
| 9 |
The Power of Assertions in SystemVerilog
|
Eduard Cerny
|
2010 |
Okänt |
| 10 |
Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware De
|
Eduard Cerny
|
1997 |
Okänt |
| 11 |
Hierarchical Annotated Action Diagrams : An Interface-Oriented Specification and Verification Method
|
Eduard Cerny
|
1998 |
Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.