Logic Synthesis and Verification Algorithms/

Eitemau Tebyg

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