Isbn: 9787111365532 - 软件可靠性方法 (1 Ergebnisse)

paperback. Zustand: New. Paperback Language: Chinese. English. Software Reliability Methods said through a large number of formal and technical. to provide readers with a variety of formal methods to improve software reliability. including the interpretation of the verification. automated verification. testing and process algebra. The book closely focus on logic and automata theory. the main line. and compare the various methods. and discuss their advantages and disadvantages. The book contains a number of instances .…