Katoen, Joost-Pieter (Q798249)
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
Katoen, Joost-Pieter
0 referencí
1964
0 referencí
Joost-Pieter
0 referencí
Katoen
0 referencí
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í