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: Jacky, Jonathan
  Được phát hành: (1997)
• Formal methods of program verification
  Bằng: Berg,H.K
• Formal methods of program verification
  Bằng: Berg,H.K
• Formal methods of program verification and specification
  Bằng: H K Berg, et al.
  Được phát hành: (1982)