Počet záznamů: 1
Verification of programs with complex data structures
Autor Rogalewicz, Adam, 1978- (Autor diplomové práce nebo disertace) Název Verification of programs with complex data structures : dissertation thesis / Adam Rogalewicz Vydání Vyd. 1. Nakl.údaje Brno : Faculty of Information Technology, Brno University of Technology, 2007 Fyz.popis ix, 134 s. : il. ; 25 cm ISBN 978-80-214-3548-3 Poznámky Původně předloženo jako autorova disertace (Ph.D.). DOKUMENT JE K DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ! Obsahuje bibliografii Předmět.hesla počítačové programy * datové struktury * modelování a simulace * formální verifikace * 7 computer programs * 7 data structures * 7 modeling and simulation * 7 formal verification Forma, žánr doktorské disertace * 7 higher doctoral dissertations Konspekt 004 - Počítačová věda. Výpočetní technika. Informační technologie MDT 004.42 * 004.422.63 * 004.94 * 519.86/.87 * 004.052.42 * (043.3)378.245 Země vyd. Česko Jazyk dok. angličtina URL Digitalizovaný dokument Vlastník Kladno SVK Druh dok. Digitalizované dokumenty
Počet záznamů: 1