The way of Z: practical programming with formal methods

類似資料

• The Way of Z: practical programming with formal methods
  著者:: Jacky, Jonathan
  出版事項: (1997)
• Biochemistry/
  著者:: Satyanarayana, U.
  出版事項: (2006)
• The way of z practical programming with formal methods
  著者:: Jonathan Jacky
  出版事項: (1997)
• A-Z of fishing
  著者:: Willock, Colin
  出版事項: (1992)
• .NET Interview Questions /
  著者:: Koirala,Sivaprasad
  出版事項: (2008)