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)