Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000976187

Navigace: https://aleph.vkol.cz/pub / svk01 / 00097xxxx / 0009761xx / 000976187.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.

ISBN978-80-214-4214-6 (v knize neuvedeno ; brož.) 978-80-214-3547-6
Kód předm.kateg.004 Počítačová věda. Výpočetní technika. Informační technologie
MDT004.03
MDT004.3
MDT004.94
MDT004.052.42
MDT(048.8)
HZ-Osobní jménoSmrčka, Aleš, 1980-
Názvové údajeVerification of asynchronous and parametrized hardware designs : monograph / Aleš Smrčka, Tomáš Vojnar
Údaje o vydáníVyd. 1.
Nakladatel.údajeBrno : Faculty of Information Technology, Brno University of Technology, 2010
Údaje fyz.popisuvi, 115 s. : il. ; 25 cm
Pozn.o bibliogr.Obsahuje bibliografii a bibliografické odkazy
Předm.-Věc.témapočítačové systémy
Předm.-Věc.témahardware
Předm.-Věc.témamodelování a simulace
Předm.-Věc.témaformální verifikace
Předm.-angl.computer systems
Předm.-angl.computer hardware
Předm.-angl.modeling and simulation
Předm.-angl.formal verification
Žánr/formamonografie
Žánr/formamonographs
VZ-Osobní jm.Vojnar, Tomáš, 1973-
Elektron.přístupDigitalizovaný dokument
ISBN-pom.údajeISBN 978-80-214-3547-6 1. vyd. ISBN neplatné - duplicitní; platné ISBN náleží publikaci: VOJNAR, Tomáš: Cut-offs and automata in formal verification of infinite-state systems Správné ISBN v publikaci není uvedeno 20110330
Sigla,sign.vlastn.OLA001 1-233.680
Nakladatel-aut.f.Fakulta informačních technologií, Vysoké učení technické v Brně
Nakladatel-aut.f.Vysoké učení technické v Brně, Fakulta informačních technologií
Počet exemplářů1
Vydáno sev.Mor.e-xr-jm
Elektron.přístupobsah dokumentu

Úvodní stránka katalogu. O úroveň zpět..
© 2007 Ex Libris & Vědecká knihovna v Olomouci - webmaster.