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

Rekord MARC
			00857cz a2200229n 4500
001			vtls000576707
003			NUKAT
005			20200602002102.0
008			990210n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 99010790
024	7		$a http://viaf.org/viaf/110770950 $2 uri
024	7		$a http://isni.org/isni/0000000121477236 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q92781 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 99010790 $2 uri
039		9	$a 202006020021 $b VLOAD $c 202006010526 $d VLOAD $c 201806050018 $d VLOAD $c 201806040507 $d VLOAD $y 200205311303 $z load
040			$a WA U/94KMR $c WA U/KMR
046			$f 1946
100	1		$a Sifakis, Joseph $d (1946- ).
400	1		$a Sifakis, J.
670			$a Kp. Automatic verification methods for finite state systems / J. Sifakis (ed.). - Berlin, 1989. $b S. red. (Sifakis, Joseph)
670			$a NCC online
999			$a VIRTUA10 x