Počet záznamů: 1

formální verifikace

SYS		0157937
LBL		-----cz--a22-----n--4500
003		CZ-PrNK
005		20141221210223.0
008		130412\|n\|anznnbabn-----------n-a\|a------
040		$a ABA001 $b cze $d ABA001
072	-7	$a 004 $x Počítačová věda. Výpočetní technika. Informační technologie $2 Konspekt $9 23
080		$a 004.052.42 $2 MRF_2003
150		$a formální verifikace
450		$a verifikace formální $0 o
450		$a verifikace (počítačová věda) $0 o
550		$a počítačové systémy $7 cbvk_us_auth*v0016580
550		$w g $a počítačová věda $7 cbvk_us_auth*v0016572
750	07	$a formal verification $2 eczenas

Počet záznamů: 1