Number of the records: 1
Matoušek, Petr, 1973-
SYS 0266431 LBL 00826nz--a2200205n--4500 003 CZ-CbJVK 005 20180725142441.1 008 130516|n|acnnnaabn-----------n-a|a------ 040 $a BOD030 $b cze 046 $f 1973 100 1-
$a Matoušek, Petr, $d 1973- 370 $c Česko 667 $a Záznam neprošel revizí podle pravidel RDA. 670 $a Matoušek, P.: Symbolic data structures for parametric verification $b autoritní forma 670 $a www(Fakulta informačních technologií, Vysoké učení technické v Brně), cit. 16. 5. 2013 678 0-
$a Narozen v roce 1973. Informatik. Odborník v oblasti počítačových sítí, přenosu hlasu přes IP, formální specifikace a verifikace časovaných systémů.
Number of the records: 1