Formal methods of program verification

Podobne zapisy

• Formal methods of program verification
  od: Berg,H.K
• Formal methods of program verification and specification
  od: H K Berg, i wsp.
  Wydane: (1982)
• Formal specification and verification of digital sytems
  od: George Milne
  Wydane: (1994)
• Formal Specification And Verification Of Digital Systems
  od: Milne, George
  Wydane: (1994)
• Formal specification and verification of digital systems /
  od: Milne, George
  Wydane: (1994)