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

Rekord MARC
			00856cz a2200229n 4500
001			vtls005580550
003			NUKAT
005			20220531002251.0
008			081201n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 2008071532
024	7		$a http://viaf.org/viaf/5080653 $2 uri
024	7		$a http://isni.org/isni/0000000108652511 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q4588721 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 2008071532 $2 uri
039		9	$a 202205310022 $b VLOAD $c 202205301454 $d VLOAD $c 202009180017 $d VLOAD $c 202009170522 $d VLOAD $y 200812011418 $z vbuw94
040			$a WA U/94ANK $c WA U/ANK
046			$f 1951
100	1		$a Holzmann, Gerard J. $d (1951- ).
670			$a Principles of the Spin model checker / Mordechai Ben-Ari. - London, 2008. $b Przedm.
670			$a SUDOC online
999			$a VIRTUA 0 x
999			$a VTLSSORT0080010004001000670067019992