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

Rekord MARC
			01058cz a2200241n 4500
001			vtls000346079
003			NUKAT
005			20200602001751.0
008			990625n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 99005564
024	7		$a http://viaf.org/viaf/59929404 $2 uri
024	7		$a http://isni.org/isni/0000000116531672 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q52726456 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 99005564 $2 uri
039		9	$a 202006020017 $b VLOAD $c 202006010525 $d VLOAD $c 201902060009 $d VLOAD $c 201902051001 $d qam $y 200205311333 $z load
040			$a WA U/94KMR $c WA U/KMR $d KR U/KM $d WA U/MAD
046			$f 1964
100	1		$a Katoen, Joost-Peter $d (1964- ).
400	1		$a Katoen, J.-P.
670			$a Kp. Formal methods for real-time and probabilistic systems / Joost-Peter Katoen (ed.). - Berlin, 1999. $b (Univ. of Erlangen-Nürnberg, Lehrstuhl für Informatik)
670			$a Real-time and probabilistoc systems / guest ed.: J.-P. Katoen. - Amsterdam, 2002.
670			$a DNB in VIAF, 05.02.19 $b (Katoen, Joost-Peter 1964- ).
999			$a VIRTUA10 x