Normal view MARC view
  • Formal methods (Computer science)

Formal methods (Computer science)(Topical Term)

Number of records used in: 2
Preferred form: Formal methods (Computer science)

Machine generated authority record

Work cat.: (KE-NaSUL)97376: Charatan, Quentin. 131766, Formal software development, 2004.

© 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