Verwandte Artikel zu Software reliability methods
Inhaltsangabe
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...
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 63,22
EUR 15,48 für den Versand von China nach USA
Versandziele, Kosten & DauerSuchergebnisse für Software reliability methods
Beispielbild für diese ISBN
Software reliability methods(Chinese Edition)
Anbieter: liu xing, Nanjing, JS, China
Verkäuferbewertung 5 von 5 Sternen
paperback. 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 . Bestandsnummer des Verkäufers N12229
Anzahl: 1 verfügbar