Verlag: China Press, 2000
ISBN 10: 7111365534 ISBN 13: 9787111365532
Anbieter: liu xing, Nanjing, JS, China
EUR 63,21
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. 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 .