Current Trends in Hardware Verification and Automated Theorem Proving by Graham
123,08 €
1 Correctness Properties of the Viper Block Model: The Second Level. - 2 Formal Verification of the Sobel Image Processing Chip. - 3 Specification-Driven Design of Custom Hardware in HOP. - 4 Formal Verification of a Microprocessor Using Equational Techniques.
Jetzt bei Ebay:
