Počet záznamů: 1  

Schumann, Johann M., 1960-

  1. Osobní jménoSchumann, Johann M., 1960-
    BiografieAutor publikací z oboru výpočetní techniky, zaměřen na softwar.
    Zdroj nalezených informacíAutomated theorem proving in software engeneering (Johann M. Schumann) ; DNB
    DatabázeSoubor osobních jmen a jmen rodin (rodů)
    Odkazy (1) - Knihy
    osoba

    osoba

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše