Program construction and verification

Lignende værker

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