Number of the records: 1
Gibbons, Jeremy, 1966-
SYS 0334798 LBL 00758nz--a2200241n--4500 003 CZ-OlKUP 005 20210902071502.8 008 070926|n|acnnnaabn-----------n-a|a------ 040 $a ABA013 $b cze $d ABA001 046 $f 1966 100 1-
$a Gibbons, Jeremy, $d 1966- 667 $a Záznam neprošel revizí podle pravidel RDA. 670 $a Davies, J. - Gibbons, J.: Integrated formal methods 670 $a BLPC $b biografické údaje 670 $a www(Oxford University) 670 $a LC (Names) 678 0-
$a Britský počítačový odborník. 856 42
$u http://web.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html $4 N
Number of the records: 1