Formal methods of program verification

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

• Formal methods of program verification
  Bằng: Berg,H.K
• Formal methods of program verification and specification
  Bằng: H K Berg, et al.
  Được phát hành: (1982)
• Formal specification and verification of digital sytems
  Bằng: George Milne
  Được phát hành: (1994)
• Formal Specification And Verification Of Digital Systems
  Bằng: Milne, George
  Được phát hành: (1994)
• Formal specification and verification of digital systems /
  Bằng: Milne, George
  Được phát hành: (1994)