FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS

相似書籍

• DESIGN VERIFICATION WITH E
  由: PALNIKAR, S
  出版: (2004)
• DESIGN VERIFICATION WITH E
  由: PALNIKAR, S
  出版: (2004)
• Logic Synthesis And Verification Algorithms
  由: Hachtel, G.D
  出版: (2003)
• BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
  由: NANAVATI, S
  出版: (2005)
• FORMAL LANGUAGES & AUTOMATA
  由: LINZ PETER
  出版: (2009)