Logic synthesis and verification algorithms

Benzer Materyaller

• Logic Synthesis and Verification Algorithms/
  Yazar:: Hachtel, G.D
  Baskı/Yayın Bilgisi: (2006)
• Lectures on proof verification and approximation algorithms
  Yazar:: Mayr, Ernst W
  Baskı/Yayın Bilgisi: (1998)
• Verification and meaning /
  Baskı/Yayın Bilgisi: (1976)
• Algorithmic logic /
  Yazar:: Mirkowska, G
  Baskı/Yayın Bilgisi: (1987)
• Program construction and verification
  Yazar:: Backhouse, Roland C; Author
  Baskı/Yayın Bilgisi: (1986)