High-integrity system specification and designde J. P. Bowen, Michael G. HincheyMateriasSystem analysisSystem designComputer programsEdiciones (1)High-integrity system specification and design (1999)Springer · inglésMás obras de J. P. BowenFormal methods
