Logic Synthesis and Verification Algorithms/

相似書籍

• Logic synthesis and verification algorithms
  由: Hachtel, Gary D
  出版: (1996)
• Lectures on proof verification and approximation algorithms
  由: Mayr, Ernst W
  出版: (1998)
• Verification and meaning /
  出版: (1976)
• Algorithmic logic /
  由: Mirkowska, G
  出版: (1987)
• Program Construction and Verification
  由: Backhouse, Roland C
  出版: (1986)