Number of the records: 1  

Kol, Rakefet

  1. Personal nameKol, Rakefet
    BiographyIzraelský informatik, zaměřený na počítačovou architekturu, asynchronní design, formální ověřování hardwarových designů, softwarové inženýrství.
    Source data foundYoeli, M. - Kol, R.: Verification of systems and circuits using LOTOS, Petri Nets, and CCS ; LC (Names)
    DatabaseSoubor osobních jmen a jmen rodin (rodů)
    References (1) - Books
    person

    person

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all