A formal approach to hardware designde J. StaunstrupMateriasApplication specific integrated circuitsComputer-aided designData processingDesignIntegrated circuitsApplication-specific integrated circuitsEdiciones (1)A formal approach to hardware design (1994)Kluwer Academic Publishers · inglésMás obras de J. StaunstrupProgram specificationHardware/software co-designFormal methods for VLSI designS