|
1.
|
Correct Hardware Design and Verification Methods Электронный ресурс 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrГјcken, Germany, October 3-6, 2005, Proceedings edited by Dominique Borrione, Wolfgang Paul. by Borrione, Dominique | Paul, Wolfgang | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|