Počet záznamů: 1  

Kroening, Daniel

  1. Osobní jménoKroening, Daniel
    BiografieBritský informatik. Zabývá se formalními metodami pro konstrukci hardwaru a softwarovými systémy.
    Zdroj nalezených informacíJeho: Decision procedures ; LC (Names) (autoritní forma) ; www(osobní stránka) (biografie)
    URLhttp://www.kroening.com/
    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