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)