Normal view MARC view
  • Computer software

Computer software Verification(Topical Term)

Number of records used in: 1
Preferred form: Computer software Verification

Machine generated authority record

Work cat.: (KE-NaSUL)101075: Yoeli, Michael, 1917- 141075, Verification of systems and circuits using LOTOS, Petri Nets, and CCS, c2008.

© Strathmore University Library
Madaraka Estate, Ole Sangale Road | P. O. Box 59857 - 00200 City Square, Nairobi, Kenya
(+254) (0)703 034 000/200/300 | (+254) (0)20-607498