Počet záznamů: 1  

Kol, Rakefet

  1. Osobní jménoKol, Rakefet
    BiografieIzraelský informatik, zaměřený na počítačovou architekturu, asynchronní design, formální ověřování hardwarových designů, softwarové inženýrství.
    Zdroj nalezených informacíYoeli, M. - Kol, R.: Verification of systems and circuits using LOTOS, Petri Nets, and CCS ; LC (Names)
    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