Formal Methods in Computer-Aided Design
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Ganesh Gopalakrishnan
Themen in »Formal Methods in Computer-Aided Design«
Symbol VLSI computer-aided design (CAD) formal method formal verification model model checking simulation verification complexity
Stimmen zu »Formal Methods in Computer-Aided Design«
Details
ISBN: 9783540651918
Verlag: Springer Berlin
Erscheinung: 21.10.1998