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)