Number of the records: 1  
Correct hardware design and verification methods
- Title statement - 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 - Main entry-name - Milne, George J (Compiler) - Another responsib. - Pierre, Laurence (xxx) - Edition statement - 1.vyd. - Issue data - Berlin : Springer Verlag, 1993 - Phys.des. - 269 s - ISBN - 3-540-56778-X - Subj. Headings - počítače - hardware - overovanie - diagnostika - verifikácia - UDC - 681.325.02 - 681.326 - 519.71 - 061.3(08) - Country - Germany - Language - English - Document kind - AZN - zborník  - book - Barcode - Call number of location - Call number - Location - Sublocation - Info - I4767 - I*4767 - Fakulta informatiky a informačných technológií - Centrum informačných knižničných služieb 
Number of the records: 1