Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000051168
Navigace: https://aleph.vkol.cz/pub / svk01 / 00005xxxx / 0000511xx / 000051168.htm
Chcete-li získat tento dokument, vstupte přímo do katalogu.
If you want to get more information about the document, enter the online catalog.
ISBN | 3-540-56778-X (brož) : bc |
MDT | 681.3.068:621.397 |
Názvové údaje | Correct Hardware Design and Verification Methods : IFIP WG10.2 Advanced Research Working Conf. ... Proceedings / Ed. George J. Milne, Laurence Pierre |
Nakladatel.údaje | Berlin : Springer, 1993 |
Údaje fyz.popisu | 6, 269 s |
Edice-jiná forma | Lecture Notes in Computer Science ; 683 |
Všeobecná pozn. | Bibliogr. na konci kapitol |
VZ-Osobní jm. | Milne, George J. |
VZ-Osobní jm. | Pierre, Laurence |
VZ-Edice-Unif.náz. | Lecture Notes in Computer Science |
Sigla,sign.vlastn. | OLA001 591.593 |
Předmět.hesla | Metody ověřovací sborníky |
Předmět.hesla | Programy vývoj design oprava sborníky |
Předmět.hesla | Zobrazení zpracování číslicové sborníky |
Počet exemplářů | 1 |
Úvodní stránka katalogu.
O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.