Items related to 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...
"synopsis" may belong to another edition of this title.
Buy New
View this item
£ 54.25
£ 11.07 shipping from China to United Kingdom
Destination, rates & speedsSearch results for Software reliability methods
Stock Image
Software reliability methods(Chinese Edition)
Seller: liu xing, Nanjing, JS, China
Seller rating 5 out of 5 stars
paperback. Condition: 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 . Seller Inventory # N12229
Quantity: 1 available