Number of the records: 1
Verification of programs with complex data structures
Author Rogalewicz, Adam, 1978- (Dissertant) Title Verification of programs with complex data structures : dissertation thesis / Adam Rogalewicz Issue Vyd. 1. Issue stat. Brno : Faculty of Information Technology, Brno University of Technology, 2007 Phys.des. ix, 134 s. : il. ; 25 cm ISBN 978-80-214-3548-3 Note Původně předloženo jako autorova disertace (Ph.D.). DOKUMENT JE K DISPOZICI POUZE V ELEKTRONICKÉ PODOBĚ! Obsahuje bibliografii Subj. Headings 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 Form, Genre doktorské disertace * 7 higher doctoral dissertations Conspect 004 - Počítačová věda. Výpočetní technika. Informační technologie UDC 004.42 * 004.422.63 * 004.94 * 519.86/.87 * 004.052.42 * (043.3)378.245 Country Czech Republic Language English URL Digitalizovaný dokument Owner Kladno SVK Doc. Kind Digitalizované dokumenty
Number of the records: 1