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 - Copy count - 1, currently available 1 - Document kind - AZN - zborník  - book 
Number of the records: 1