Number of the records: 1
Correct hardware design and verification methods
SYS stu4387 LBL 00000nam--22000003a-4500 005 20200825120031.3 008 930726s1993----gw------------------eng-d 020 $a 3-540-56778-X 040 $a STU $b slo 041 0-
$a eng 044 $a gw 080 $7 stu_us_auth*stu8136 $a 681.325.02 080 $a 681.326 080 $7 stu_us_auth*stu8254 $a 519.71 080 $7 stu_us_auth*stu8235 $a 061.3(08) 100 1-
$a Milne, George J $4 com $7 stu_us_auth*stu4372 245 1-
$a Correct hardware design and verification methods : $b IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 / $c Edit.: Milne,George J.; Pierre,Laurence 250 $a 1.vyd. 260 $a Berlin : $b Springer Verlag, $c 1993 300 $a 269 s 650 -7
$a počítače $2 stusub $7 stu_us_auth*stus41 650 -7
$a hardware $2 estusub $7 stu_us_auth*stus42 650 -7
$a overovanie $2 stusub $7 stu_us_auth*stus86 650 -7
$a diagnostika $2 stusub $7 stu_us_auth*stus943 650 -7
$a verifikácia $2 stusub $7 stu_us_auth*stus479 700 1-
$a Pierre, Laurence $4 xxx $7 stu_us_auth*stu4373
Number of the records: 1