Logic Synthesis and Verification Algorithms/

Lignende værker

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