Publicado por China Press, 2000
ISBN 10: 7111365534 ISBN 13: 9787111365532
Librería: liu xing, Nanjing, JS, China
EUR 62,23
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: 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 .