The way of z practical programming with formal methods

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

• The way of Z: practical programming with formal methods
  ανά: Jacky, Jonathan
  Έκδοση: (1997)
• The Way of Z: practical programming with formal methods
  ανά: Jacky, Jonathan
  Έκδοση: (1997)
• Formal methods of program verification
  ανά: Berg,H.K
• Formal methods of program verification
  ανά: Berg,H.K
• Formal methods of program verification and specification
  ανά: H K Berg, κ.ά.
  Έκδοση: (1982)