The Way of Z: practical programming with formal methods

Những quyển sách tương tự

• The way of Z: practical programming with formal methods
  Bằng: Jacky, Jonathan
  Được phát hành: (1997)
• The way of z practical programming with formal methods
  Bằng: Jonathan Jacky
  Được phát hành: (1997)
• Numerical Methods : With Programs in C
  Bằng: Veerarajan, T
• Model-based software testing and analysis with C#
  Bằng: Jacky, Jonathan
  Được phát hành: (2008)
• Computer programming in COBOL
  Bằng: Rajaraman, V.
  Được phát hành: (1981)