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)