Katoen, Joost-Pieter (Q798249)

Z Autority
Verze z 16. 12. 2019, 09:51, kterou vytvořil Frettie (diskuse | příspěvky) (‎Vytvořena nová položka)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Skočit na navigaci Skočit na vyhledávání
osoba v databázi autorit NK ČR (xx0228450)
Jazyk Štítek Popis Také znám jako
čeština
Katoen, Joost-Pieter
osoba v databázi autorit NK ČR (xx0228450)

    Výroky

    Jméno v NKČR AUT
    Katoen, Joost-Pieter
    0 referencí
    Datum narození v NKČR
    1964
    0 referencí
    Křestní jméno
    Joost-Pieter
    0 referencí
    Příjmení
    Katoen
    0 referencí
    Wikidata QID
    Q52726456
    0 referencí
    poznámka v NKČR AUT
    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.
    0 referencí
     
    Citováno z „https://autority.wikimedia.cz/index.php?title=Item:Q798249&oldid=804477“