Program construction and verification /

समान संसाधन

• Program construction and verification
  द्वारा: Backhouse, Roland C; Author
  प्रकाशित: (1986)
• Foundation of program verification /
  द्वारा: Loeckx, Jacques
  प्रकाशित: (1983)
• Verification of sequential and concurrent programs /
  द्वारा: Gries, David .
  प्रकाशित: (1991)
• Program verification using Ada
  द्वारा: McGettrick, Andrew D; Author
  प्रकाशित: (1982)
• Validation and Verification techniques for
  द्वारा: Saxena , P, Dr