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