-
1Formal Semantics and Proof Techniques for Optimizing VHDL Models [electronic resource] / Formal Semantics and Proof Techniques for Optimizing VHDL Models [electronic resource] /by Umamageswaran, Kothanda. author., Pandey, Sheetanshu L. author., Wilsey, Philip A. author., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS -
2Formal Semantics and Proof Techniques for Optimizing VHDL Models [electronic resource] / Formal Semantics and Proof Techniques for Optimizing VHDL Models [electronic resource] /by Umamageswaran, Kothanda. author., Pandey, Sheetanshu L. author., Wilsey, Philip A. author., SpringerLink (Online service)
Published 1999Texto bibliotecaCOLPOS