Formal methods of program verification

相似書籍

• Formal methods of program verification
  由: Berg,H.K
• Formal methods of program verification and specification
  由: H K Berg, et al.
  出版: (1982)
• Formal specification and verification of digital sytems
  由: George Milne
  出版: (1994)
• Formal Specification And Verification Of Digital Systems
  由: Milne, George
  出版: (1994)
• Formal specification and verification of digital systems /
  由: Milne, George
  出版: (1994)