Correct Hardware Design and Verification Methods
13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Dominique Borrione
Themen in »Correct Hardware Design and Verification Methods«
Hardware algorithm algorithms model model checking verification
Stimmen zu »Correct Hardware Design and Verification Methods«
Details
ISBN: 9783540291053
Verlag: Springer Berlin
Erscheinung: 19.09.2005