Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Daniel Geist
Themen in »Correct Hardware Design and Verification Methods«
Augmented Reality Automat Hardware automata proving software verification theorem proving verification
Stimmen zu »Correct Hardware Design and Verification Methods«
Details
ISBN: 9783540397243
Verlag: Springer Berlin
Erscheinung: 22.10.2003