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

Rekord MARC
			00834cz a2200217n 4500
001			vtls005569263
003			NUKAT
005			20200706002546.0
008			081126n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 2008038747
024	7		$a http://viaf.org/viaf/52611758 $2 uri
024	7		$a http://isni.org/isni/0000000110628238 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q62415763 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 2008038747 $2 uri
039		9	$a 202007060025 $b VLOAD $c 202007032246 $d VLOAD $c 202007030016 $d VLOAD $c 202007020504 $d VLOAD $y 200811261355 $z vbuw94
040			$a WA U/94ANK $c WA U/ANK
100	1		$a Baier, Christel.
670			$a Principles of model checking / Christel Baier, Joost-Pieter Katoen. - Cambridge ; London, 2008.
670			$a LCC online
999			$a VIRTUA 0 x
999			$a VTLSSORT0080010004001000670067019992