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

Navigace: https://aleph.vkol.cz/pub / svk01 / 00085xxxx / 0008548xx / 000854862.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-3548-3 (brož.)
Kód předm.kateg.004 Počítačová věda. Výpočetní technika. Informační technologie
MDT004.42
MDT004.422.63
MDT004.94
MDT519.86/.87
MDT004.052.42
MDT(043.3)378.245
HZ-Osobní jménoRogalewicz, Adam, 1978-
Názvové údajeVerification of programs with complex data structures : dissertation thesis / Adam Rogalewicz
Údaje o vydáníVyd. 1.
Nakladatel.údajeBrno : Faculty of Information Technology, Brno University of Technology, 2007
Údaje fyz.popisuix, 134 s. : il. ; 25 cm
Všeobecná pozn.Původně předloženo jako autorova disertace (Ph.D.)
Pozn.o bibliogr.Obsahuje bibliografii
Předm.-Věc.témapočítačové programy
Předm.-Věc.témadatové struktury
Předm.-Věc.témamodelování a simulace
Předm.-Věc.témaformální verifikace
Předm.-angl.computer programs
Předm.-angl.data structures
Předm.-angl.modeling and simulation
Předm.-angl.formal verification
Žánr/formadoktorské disertace
Žánr/formahigher doctoral dissertations
Elektron.přístupDigitalizovaný dokument
ISBN-pom.údaje1. vyd. 20080505
Sigla,sign.vlastn.OLA001 1-193.304
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.