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
  著者:: Jonathan Jacky
  出版事項: (1997)
• Numerical Methods : With Programs in C
  著者:: Veerarajan, T
• Model-based software testing and analysis with C#
  著者:: Jacky, Jonathan
  出版事項: (2008)
• Computer programming in COBOL
  著者:: Rajaraman, V.
  出版事項: (1981)