FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS

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

• DESIGN VERIFICATION WITH E
  Bằng: PALNIKAR, S
  Được phát hành: (2004)
• DESIGN VERIFICATION WITH E
  Bằng: PALNIKAR, S
  Được phát hành: (2004)
• Logic Synthesis And Verification Algorithms
  Bằng: Hachtel, G.D
  Được phát hành: (2003)
• BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
  Bằng: NANAVATI, S
  Được phát hành: (2005)
• FORMAL LANGUAGES & AUTOMATA
  Bằng: LINZ PETER
  Được phát hành: (2009)