Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Alan J. Hu
Themen in »Formal Methods in Computer-Aided Design«
Scala algorithms circuit design computer-aided design design automation formal method formal methods formal specification formal verification hardware design model model checking semantics systems design systems verification
Stimmen zu »Formal Methods in Computer-Aided Design«
Details
ISBN: 9783540304944
Verlag: Springer Berlin
Erscheinung: 18.01.2005