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. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

ISBN3-540-56778-X (brož) : bc
MDT681.3.068:621.397
Názvové údajeCorrect Hardware Design and Verification Methods : IFIP WG10.2 Advanced Research Working Conf. ... Proceedings / Ed. George J. Milne, Laurence Pierre
Nakladatel.údajeBerlin : Springer, 1993
Údaje fyz.popisu6, 269 s
Edice-jiná formaLecture 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.heslaMetody ověřovací sborníky
Předmět.heslaProgramy vývoj design oprava sborníky
Předmět.heslaZobrazení zpracování číslicové sborníky
Počet exemplářů1