zobacz khw | Prosto do informacji - katalog zbiorów polskich bibliotek naukowych

Rekord MARC
			01196cz a2200289n 4500
001			vtls000182419
003			NUKAT
005			20200604001810.0
008			990126n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 99020693
024	7		$a http://viaf.org/viaf/8050749 $2 uri
024	7		$a http://isni.org/isni/0000000121197648 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q92819 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 99020693 $2 uri
039		9	$a 202006040018 $b VLOAD $c 202006030525 $d VLOAD $c 201806060019 $d VLOAD $c 201806050507 $d VLOAD $y 200205311300 $z load
040			$a WA U/94KMR $c WA U/KMR $d WA 72/01OMK
046			$f 1945
100	1		$a Clarke, Edmund Mellon $d (1945- ).
400	1		$a Clarke, E. M.
400	1		$a Clarke, Edmund M.
400	1		$a Clarke, Edmund.
670			$a Kp. Computer-aided verification / E. M. Clarke, R. P. Kurshan (eds.). - Berlin, 1991. $b S. red. (Clarke, Edmund M.)
670			$a LCC online
670			$a http://www.cs.cmu.edu/~emc/VITA.pdf
670			$a Kp. Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. - Amsterdam, cop. 2006.
670			$a LCA online
999			$a VIRTUA10 x