Formal specification and verification of digital sytems

類似資料

• Formal Specification And Verification Of Digital Systems
  著者:: Milne, George
  出版事項: (1994)
• Formal specification and verification of digital systems /
  著者:: Milne, George
  出版事項: (1994)
• Formal methods of program verification and specification
  著者:: H K Berg, 等
  出版事項: (1982)
• Formal methods of program verification
  著者:: Berg,H.K
• Formal methods of program verification
  著者:: Berg,H.K