Katalog Moravskoslezské vědecké knihovny v Ostravě

Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 29.02.2020. Zobrazit aktuální podobu v katalogu.

Formát Kniha Hlavní záhlaví Smrčka, Aleš, 1980- Název Verification of asynchronous and parametrized hardware designs : monograph / Aleš Smrčka, Tomáš Vojnar Vydání Vyd. 1. Nakl. údaje Brno : Faculty of Information Technology, Brno University of Technology, 2010 Popis (rozsah) vi, 115 s. : il. ; 25 cm EXEMPLÁŘE Všechny jednotky ISBN 978-80-214-4214-6 (v knize neuvedeno : brož.) * !978-80-214-3547-6 (chyb.) Další původce Vojnar, Tomáš, 1973- Poznámka Obsahuje bibliografii a bibliografické odkazy Číslo nár. bibl. cnb002160201 Předmět. heslo počítačové systémy hardware modelování a simulace Heslo MSVK hardware navrhování verifikace Forma, žánr * studie Skupina Konspektu 004.3 - Počítače. Hardware MDT 004.3 004.9 Systém. číslo 000511863

© 2005-2020 Ex Libris, Moravskoslezská vědecká knihovna v Ostravě