Hardware Specification, Verification and Synthesis: Mathemat ...
M. Leeser
- 14 februari 1990
- 9780387972268
Samenvatting:
Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
€ 46,99
Bestel bij Bol.com >