Relational verification of programs with integer data
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.
Vydání
- Tištěná knihaBrožovaná vazba
978-80-214-4654-0 (brož.)
Vydáno:
- Typ obsahu
- Text
- Rozsah
- 166 Strany
- Skladba produktu
- Jednosložkový maloobchodní produkt
- Stav vydání
- Neurčeno
Obsahy
Významná vlastnost
V publikaci uvedeno: Brno : Faculty of Information Technology, Brno University of Technology
Doporučení
Obsahuje bibliografii a bibliografické odkazy