Mathematics of dependable systems : based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 1993 /
Mitchell, Chris.
Stavridou, V.(Victoria)
Institute for Mathematics and Its Applications.
Oxford ; New York : Clarendon Press,
1995.
Computer software
Electronic digital computers