Articoli correlati a Software reliability methods
Sinossi
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...
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 63,22
EUR 15,48 per la spedizione da Cina a U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Software reliability methods
Foto dell'editore
Software reliability methods(Chinese Edition)
Da: liu xing, Nanjing, JS, Cina
Valutazione del venditore 5 su 5 stelle
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 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 . Codice articolo N12229
Quantità: 1 disponibili