Počet záznamů: 1  

Strichman, Ofer

  1. Osobní jménoStrichman, Ofer
    BiografieIzraelský informatik. Zabývá se formální verifikací softwaru a hardwaru.
    Zdroj nalezených informacíJeho: Decision procedures ; www(The National Library of Israel) (autoritní forma) ; www(osobní stránka) (biografie)
    URLhttp://ie.technion.ac.il/Home/Users/ofers.phtml
    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.