9787111365532 - 软件可靠性方法 (1 risultati)

Editore: China Press, 2000
- Brossura
Da: liu xing, Nanjing, JS, Cinaliu xing
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,49
EUR 15,54 spedizioneSpedito da Cina a U.S.A.Quantità: 1 disponibili
paperback. Condizione: 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 alg…ebra. 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 .