Logic synthesis and verification algorithms

相似書籍

• Logic Synthesis and Verification Algorithms/
  由: Hachtel, G.D
  出版: (2006)
• 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; Author
  出版: (1986)