Verification of Probabilistic Recursive Sequential Programs. 2007

www(Masarykova univerzita, Fakulta informatiky), cit. 20. 8. 2013

000      

-----nz--a22-----n--4500

001      

mub2013776804

003      

CZ-PrNML

005      

20250502143117.0

008      

130820|n|aznnnaabn | a|a

040    __

$a BOD114 $b cze $d ABA001 $e rda

046    __

$f 1979

100    1_

$a Brázdil, Tomáš, $d 1979- $7 mub2013776804

370    __

$c Česko

372    __

$a informatika $a programování

374    __

$a informatici $a programátoři

375    __

$a muž

377    __

$a eng

670    __

$a Verification of Probabilistic Recursive Sequential Programs. 2007 $b autoritní forma, titul, pracoviště

670    __

$a www(Masarykova univerzita, Fakulta informatiky), cit. 20. 8. 2013 $b autoritní forma, datum narození, biografické údaje

678    0_

$a Narozen 1979. Doc. RNDr., Ph.D., informatik, práce z teorie programování, neuronových sítí a o aplikaci stochastických metod v informatice.

906    __

$a ko20130820 $b pospel

906    __

$a op20200504 $b maku $c 372, 374, 375, 377 - nově

990    __

$a 20250430085510 $b ABA008

991    __

$a 20250502143109 $b ABA008

999    __

$a ok $b medvik21 $g 718755 $s 684421

• Loading data ...