Editore: China Press, 2000
ISBN 10: 7111365534 ISBN 13: 9787111365532
Da: liu xing, Nanjing, JS, Cina
EUR 63,22
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellopaperback. 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 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 .