Number of the records: 1
Katoen, Joost-Pieter, 1964-
Personal name Katoen, Joost-Pieter, 1964- ISNI ORCID WIKIDATA Jiná podoba jména Katoen, J.-P., 1964- Katoen, J. P., 1964- Country Nizozemsko, Německo Oblast působení počítačová věda formální verifikace výpočetní metody sémantika Profession počítačoví vědci vysokoškolští učitelé Sex muž Language eng - angličtina Biography 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. Source data found 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 Database Soubor osobních jmen a jmen rodin (rodů) References (1) - Books person
Number of the records: 1