|
|
|
|
| LEADER |
02096nam a2200505 a 4500 |
| 001 |
nkc20071784503 |
| 003 |
CZ PrNK |
| 005 |
20130412084125.0 |
| 007 |
ta |
| 008 |
071221s2007 xr a f m 000 0 eng |
| 015 |
|
|
|a cnb001784503
|
| 020 |
|
|
|a 978-80-214-3547-6
|q (brož.)
|
| 035 |
|
|
|a (OCoLC)228669392
|
| 040 |
|
|
|a OLA001
|b cze
|d ABA001
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a 517.938
|2 MRF
|
| 080 |
|
|
|a 519.86/.87
|2 MRF
|
| 080 |
|
|
|a 004.052.42
|2 MRF
|
| 080 |
|
|
|a (043.5)
|2 MRF
|
| 100 |
1 |
|
|a Vojnar, Tomáš,
|d 1973-
|7 mzk2008433892
|4 dis
|
| 245 |
1 |
0 |
|a Cut-offs and automata in formal verification of infinite-state systems :
|b habilitation thesis /
|c Tomáš Vojnar
|
| 250 |
|
|
|a Vyd. 1.
|
| 260 |
|
|
|a Brno :
|b Faculty of Information Technology, Brno University of Technology,
|c 2007
|
| 300 |
|
|
|a ix, 177 s. :
|b il. ;
|c 25 cm
|
| 502 |
|
|
|a Habilitační práce--Vysoké učení technické v Brně, Fakulta informačních technologií
|
| 504 |
|
|
|a Obsahuje bibliografické odkazy
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
7 |
|a dynamické systémy
|7 ph117185
|2 czenas
|
| 650 |
0 |
7 |
|a modelování a simulace
|7 ph125543
|2 czenas
|
| 650 |
0 |
7 |
|a formální verifikace
|7 ph755479
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 650 |
0 |
9 |
|a dynamical systems
|2 eczenas
|
| 650 |
0 |
9 |
|a modeling and simulation
|2 eczenas
|
| 650 |
0 |
9 |
|a formal verification
|2 eczenas
|
| 655 |
|
7 |
|a habilitační práce
|7 fd185153
|2 czenas
|
| 655 |
|
9 |
|a habilitation theses
|2 eczenas
|
| 710 |
2 |
|
|a Vysoké učení technické v Brně.
|b Fakulta informačních technologií
|7 mzk2003205615
|
| 910 |
2 |
|
|a BOA001
|b 3-1198.318
|
| 928 |
9 |
|
|a Vysoké učení technické v Brně, Fakulta informačních technologií
|
| 990 |
|
|
|a BK
|
| 995 |
|
|
|a 01
|
| 991 |
|
|
|b 200802
|c NOV
|
| 996 |
6 |
|
|b 2610332592
|c 3-1198.318
|l MZK
|r Sklad / do 1 hodiny
|n 0
|p p.v.
|w 000883351
|u 000010
|a 1
|e BOA001
|j MZK50
|s P
|
| 996 |
7 |
|
|b 2610332593
|c 3-1198.318
|l MZK
|r Sklad / do 1 hodiny
|n 1
|p p.v.
|w 000883351
|u 000020
|a 1
|e BOA001
|j MZK50
|s A
|
English 
Čeština 
