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)