Logic Synthesis and Verification Algorithms/

Những quyển sách tương tự

• Logic synthesis and verification algorithms
  Bằng: Hachtel, Gary D
  Được phát hành: (1996)
• Lectures on proof verification and approximation algorithms
  Bằng: Mayr, Ernst W
  Được phát hành: (1998)
• Verification and meaning /
  Được phát hành: (1976)
• Algorithmic logic /
  Bằng: Mirkowska, G
  Được phát hành: (1987)
• Program Construction and Verification
  Bằng: Backhouse, Roland C
  Được phát hành: (1986)