Correct Hardware Design and Verification Methods : 10th IFIP WG10. 5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings. [elektronicky zdroj]

Autor:	Pierre, Laurence
Další autoři:	Kropf, Thomas
Jazyk:	angličtina
Informace o vydání:	Berlin, Heidelberg : Springer Berlin / Heidelberg, 1999.
Předmět:	Integrated circuits-Very large scale integration-Computer-aided design-Congresses. Integrated circuits-Verification-Congresses Electronic books
Druh dokumentu:	Online; Non-fiction; Electronic document
Databáze:	Vybrané kolekce e-knih
Externí odkaz:	Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)