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

Navigace: https://aleph.vkol.cz/pub / svk01 / 00085xxxx / 0008530xx / 000853069.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-3547-6 (brož.)
Kód předm.kateg.004 Počítačová věda. Výpočetní technika. Informační technologie
MDT004
MDT517.938
MDT519.86/.87
MDT004.052.42
MDT(043.5)
HZ-Osobní jménoVojnar, Tomáš, 1973-
Názvové údajeCut-offs and automata in formal verification of infinite-state systems : habilitation thesis / Tomáš Vojnar
Údaje o vydáníVyd. 1.
Nakladatel.údajeBrno : Faculty of Information Technology, Brno University of Technology, 2007
Údaje fyz.popisuix, 177 s. : il. ; 25 cm
Pozn.o disertaciHabilitační práce--Vysoké učení technické v Brně, Fakulta informačních technologií
Pozn.o bibliogr.Obsahuje bibliografické odkazy
Předm.-Věc.témapočítačová věda
Předm.-Věc.témadynamické systémy
Předm.-Věc.témamodelování a simulace
Předm.-Věc.témaformální verifikace
Předm.-angl.computer science
Předm.-angl.dynamical systems
Předm.-angl.modeling and simulation
Předm.-angl.formal verification
Žánr/formahabilitační práce
Žánr/formahabilitation theses
VZ-KorporaceVysoké učení technické v Brně. Fakulta informačních technologií
ISBN-pom.údaje1. vyd. Stejné ISBN přiděleno duplicitně též publikaci: VOJNAR, Tomáš - Smrčka, Aleš: Verification of asynchronous and parametrized hardware designs 20080410
Sigla,sign.vlastn.OLA001 1-192.760
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.