Number of the records: 1
Stirling, Colin P
SYS 0254942 LBL -----cz--a22-----n--4500 003 CZ-PrNK 005 20171205220814.6 008 171130|n|aznnnaabn-----------n-a|a------ 040 $a OLD012 $b cze $d ABA001 $e rda 100 1-
$a Stirling, Colin P. $7 xx0219176 370 $c Velká Británie 372 $a informatika $a počítačová věda 373 $a University of Edinburgh 374 $a počítačoví vědci $a vysokoškolští učitelé 375 $a muž 377 $a eng 400 1-
$a Stirling, Colin $0 o 670 $a Stirling, Colin: Modal and temporal properties of processes, 2001 $b odkaz viz 670 $a LC (Names), cit. 30. 11. 2017 $b autoritní forma 670 $a BNF, cit. 30. 11. 2017 $b biografické údaje 670 $a www(The University of Edinburgh - School of Informatics), cit. 30. 11. 2017 $b biografické údaje 678 0-
$a Britský informatik, vysokoškolský pedagog, zaměřený na modely souběžného výpočtu, modální a temporální logiku a ověřování vlastností programu.
Number of the records: 1