Formal methods of program verification

Παρόμοια τεκμήρια

• Formal methods of program verification
  ανά: Berg,H.K
• Formal methods of program verification and specification
  ανά: H K Berg, κ.ά.
  Έκδοση: (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)