Program construction and verification

類似資料

• Program construction and verification /
  著者:: Backhouse, Roland C .
  出版事項: (1986)
• Foundation of program verification /
  著者:: Loeckx, Jacques
  出版事項: (1983)
• Program verification using Ada
  著者:: McGettrick, Andrew D; Author
  出版事項: (1982)
• Verification of sequential and concurrent programs /
  著者:: Gries, David .
  出版事項: (1991)
• Current trends in hardware verification and automated theorem proving
  著者:: Current trends in
  出版事項: (1989)