Articles liés à Software reliability methods
Synopsis
Paperback. Pub Date :2012-3-1 196 China Machine Press [celebrity] I first recommend reading this book. this book was immediately covered a wide range of deeply touched. it covering the Statute and modeling. interpretation of verification. model checking. process algebra. program testing. status and message sequence chart. In addition to a fairly in-depth introduction to the outside of each method. the book also discusses what method should be selected when and in the choice of these methods have to make tradeoffs. The book with the current tool. use a lot of challenging examples to illustrate various techniques. I have not seen any other books covering the same content can reach such depths. Meanwhile. the book describes the application of formal methods in the from the modeling and the statute. and then select an appropriate verification technique...
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 62,97
EUR 12,85 expédition depuis Chine vers France
Destinations, frais et délaisRésultats de recherche pour Software reliability methods
Image d'archives
Software reliability methods(Chinese Edition)
Vendeur : liu xing, Nanjing, JS, Chine
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : 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 . N° de réf. du vendeur N12229
Quantité disponible : 1 disponible(s)