Merz, Stephan (Q811034)
Skočit na navigaci
Skočit na vyhledávání
osoba v databázi autorit NK ČR (xx0233274)
| Jazyk | Štítek | Popis | Také znám jako |
|---|---|---|---|
| čeština | Merz, Stephan |
osoba v databázi autorit NK ČR (xx0233274) |
Výroky
Merz, Stephan
0 referencí
Stephan
0 referencí
Merz
0 referencí
Francouzský informatik a vysokoškolský pedagog, působil v Německu, zaměřený na formální verifikaci zejména v distribuovaných algoritmech a systémech.
0 referencí