Jeho: Verifikace souběžných procesů s použitím nástroje SPIN

www(Masarykova univerzita. Fakulta informatiky)

000      

00000nz a2200000 45

001      

mub2010575337

003      

CZ-PrNML

005      

20151001093347.0

008      

100513|n|acnnnaabn n a|a

040    __

$a BOD114 $b cze $a ABA008 $b cze

046    __

$f 1977

100    1_

$a Barnat, Jiří, $d 1977- $7 mub2010575337

370    __

$c Česko

667    __

$a Záznam neprošel revizí podle pravidel RDA.

670    __

$a Jeho: Verifikace souběžných procesů s použitím nástroje SPIN

670    __

$a www(Masarykova univerzita. Fakulta informatiky) $b biografické údaje

678    0_

$a Narozen 11.3.1977. RNDr., Ph.D., informatik, práce z teoretické informatiky a programování.

900    __

$a J-NÁVRH

906    __

$a ko20100513 $b pospel

990    __

$a 20121108192328 $b ABA008

991    __

$a 20151001093528 $b ABA008

998    __

$a 000575337

999    __

$a ok $b medvik21 $g 664971 $s 246951

• Nahrávání dat ...