Počet záznamů: 1
Katoen, Joost-Pieter, 1964-
Osobní jméno Katoen, Joost-Pieter, 1964- ISNI ORCID WIKIDATA Jiná podoba jména Katoen, J.-P., 1964- Katoen, J. P., 1964- Země Nizozemsko, Německo Oblast působení počítačová věda formální verifikace výpočetní metody sémantika Profese počítačoví vědci vysokoškolští učitelé Pohlaví muž Jazyk eng - angličtina Biografie Nizozemský počítačový vědec a vysokoškolský pedagog, působící v Německu, zaměřený na formální metody, formální verifikaci, teorii souběžnosti, pravděpodobnostní výpočty a na sémantiku. Zdroj nalezených informací Baier, Christel - Katoen, Joost-Pieter: Principles of model checking, 2008 ; KB-NBN, cit. 23. 10. 2018 (autoritní forma, datum narození, odkaz viz) ; www(Wikipedia, the free encyclopedia), cit. 23. 10. 2018 (biografické údaje) ; www(Rheinisch-Westfälische Technische Hochschule Aachen University - Department of Computer Science - Software Modeling an Verification), cit. 23. 10. 2018 (biografické údaje) URL https://en.wikipedia.org/wiki/Joost-Pieter_Katoen Databáze Soubor osobních jmen a jmen rodin (rodů) Odkazy (1) - Knihy osoba
Počet záznamů: 1