Počet záznamů: 1
Strichman, Ofer
SYS 0141602 LBL -----nz--a22-----n--4500 003 CZ-OlKUP 005 20170410162944.8 008 120104|n|acnnnaabn-----------n-a|a------ 040 $a BOD030 $b cze $d ABA001 100 1-
$a Strichman, Ofer 667 $a Záznam neprošel revizí podle pravidel RDA. 670 $a Jeho: Decision procedures 670 $a www(The National Library of Israel) $b autoritní forma 670 $a www(osobní stránka) $b biografie 678 0-
$a Izraelský informatik. Zabývá se formální verifikací softwaru a hardwaru. 856 42
$3 osobní stránka $u http://ie.technion.ac.il/Home/Users/ofers.phtml $4 N
Počet záznamů: 1