Obálka není k dispozici
Harnessing forest automata for verification of heap manipulating programs
monograph
Věcné třídění
Bibliografické údaje
- Nakladatel
- Vysoké učení technické v Brně
- Vydáno
- 2012
- Místo vydání
- Brno
- Vydání
- Vyd. 1.
- Jazyk
- Angličtina
- Ilustrace
- il. (některé barev.)
Vydání
- Tištěná knihaBrožovaná vazba
978-80-214-4653-3 (brož.)
Vydáno:
- Typ obsahu
- Text
- Rozsah
- 139 Strany
- Skladba produktu
- Jednosložkový maloobchodní produkt
- Stav vydání
- Neurčeno
Obsahy
Významná vlastnost
Na obálkovém a hřbetním názvu nesprávně použito místo slova verification verication
Významná vlastnost
V publikaci uvedeno: Brno : Faculty of Information Technology, Brno University of Technology
Doporučení
Obsahuje bibliografii a bibliografické odkazy