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ů.
Source data found
Matoušek, P.: Symbolic data structures for parametric verification (autoritní forma) ; www(Fakulta informačních technologií, Vysoké učení technické v Brně), cit. 16. 5. 2013
Database
Soubor osobních jmen a jmen rodin (rodů)
References
(1) - BOOKS
openseadragon
Number of the records: 1
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.