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

Rekord MARC
			00995cz a2200253n 4500
001			vtls000295134
003			NUKAT
005			20200521001951.0
008			980304n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 98002399
024	7		$a http://viaf.org/viaf/67255713 $2 uri
024	7		$a http://isni.org/isni/0000000081474814 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q88295 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 98002399 $2 uri
039		9	$a 202005210019 $b VLOAD $c 202005200526 $d VLOAD $c 201810100013 $d VLOAD $c 201810090505 $d VLOAD $y 200205311205 $z load
040			$a WA U/BWYDZ $c WA U/KMR $d WA U/94ANK
046			$f 1962
100	1		$a Henzinger, Thomas A. $d (1962- ).
670			$a Kp. Hybrid systems III. - Berlin, 1996. $b Red.
670			$a LCC online
670			$a Handbook of model checking / Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, eds. - Cham, 2018.
670			$a BSZ online
999			$a VIRTUA10 x
999			$a VTLSSORT008001000400100067006702670167039992