Title information : Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 / Edit.: Milne,George J.; Pierre,Laurence Variant heading : \q12*stu_us_auth*1 stu4372 \q \q1013 stu_us_auth*stu4372 \d Milne George J \q (Compiler)  %continue : \q12*stu_us_auth*1 stu4373 \q \q1013 stu_us_auth*stu4373 \d Pierre Laurence \q (xxx) Issue : 1.vyd. Issue data : Berlin : Springer Verlag, 1993 %continue : . - 269 s ISBN : ISBN 3-540-56778-X Subject : \q12*stu_us_auth*1 stus41 \q \q1013 stu_us_auth*stus41 \d počítače \q \q12*stu_us_auth*1 stus42 \q \q1013 stu_us_auth*stus42 \d hardware \q \q12*stu_us_auth*1 stus86 \q \q1013 stu_us_auth*stus86 \d overovanie \q \q12*stu_us_auth*1 stus943 \q \q1013 stu_us_auth*stus943 \d diagnostika \q \q12*stu_us_auth*1 stus479 \q \q1013 stu_us_auth*stus479 \d verifikácia \q Document kind : zborník