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)