Infinity'08
10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008
Věcné třídění
Bibliografické údaje
- Neurčeno
- 10th International Workshop on Verification of Infinite-State Systems - Infinity'08
- Nakladatel
- Vysoké učení technické v Brně
- Vydáno
- 2008
- Místo vydání
- Brno
- Jazyk
- Angličtina
Vydání
- Tištěná kniha
978-80-214-3697-8 (kroužková vazba)
Vydáno:
- Typ obsahu
- Text
- Rozsah
- 68 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 bibliografie a bibliografické odkazy