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)