Normal view MARC view
  • Computer programmes - verification

Computer programmes - verification(Topical Term)

Number of records used in: 1
Preferred form: Computer programmes - verification

Machine generated authority record

Work cat.: (OSt): Loeckx, Jacques 26595, The foundations of program verification /, 1987

Archbishop Kiwanuka Memorial Library | Uganda Martyrs University P.O. Box : 5498 Kampala, Uganda
Tel : +256-(0) 382-277-901 or +256-(0) 382-410-611 / E-mail : library@umu.ac.ug