Počet záznamů: 1

Strichman, Ofer

Osobní jméno	Strichman, Ofer
Biografie	Izraelský 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)
URL	http://ie.technion.ac.il/Home/Users/ofers.phtml
Databáze	Soubor osobních jmen a jmen rodin (rodů)
Odkazy	(1) - Knihy

osoba

Počet záznamů: 1