Synopsis
A new text/reference on formal method and techniques and tools for software development project design. Essential book for software engineers in R&D departments in industry, as well as for graduate students.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Software Reliability Methods (Texts in Computer Science)
Image d'archives
Software Reliability Methods (Texts in Computer Science)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530294511
Acheter neuf
EUR 53,26
Frais de port :
EUR 3,46
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Reliability Methods
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11866308-n
Acheter neuf
EUR 54,46
Frais de port :
EUR 2,29
Vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Reliability Methods
Edité par
Springer, 2011
ISBN 10 : 1441928766
ISBN 13 : 9781441928764
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 11866308
Acheter D'occasion
EUR 63,37
Frais de port :
EUR 2,29
Vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Reliability Methods
Edité par
Springer New York Okt 2011, 2011
ISBN 10 : 1441928766
ISBN 13 : 9781441928764
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features:Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebraProvides useful information suitable in the software selection process for a given projectOffers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for ¿hands-on¿ experience with these critical toolsDescribes the mathematical principles supporting formal methodsGives insights into new research directions in the field, as well as ways of developing new methods and/or adjusting existing ones.This volume can be used as an introduction to software methods techniques, a source for learning about various ways to enhance software reliability, and a guide to formal methods techniques. It is an essential resource for professionals and software engineers in R&D departments in industry, using software reliability, program-modeling systems, and verification methods. 356 pp. Englisch. N° de réf. du vendeur 9781441928764
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Reliability Methods
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 11866308-n
Acheter neuf
EUR 68,21
Frais de port :
EUR 17,06
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Reliability Methods
Edité par
Springer, 2011
ISBN 10 : 1441928766
ISBN 13 : 9781441928764
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 11866308
Acheter D'occasion
EUR 69,72
Frais de port :
EUR 17,06
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Reliability Methods
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 350 pages. 9.25x6.10x0.80 inches. In Stock. N° de réf. du vendeur x-1441928766
Acheter neuf
EUR 80,20
Frais de port :
EUR 14,22
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Reliability Methods
Edité par
Springer New York, 2011
ISBN 10 : 1441928766
ISBN 13 : 9781441928764
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also d. N° de réf. du vendeur 4173348
Acheter neuf
EUR 47,23
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Reliability Methods
Edité par
Springer New York, Springer New York Okt 2011, 2011
ISBN 10 : 1441928766
ISBN 13 : 9781441928764
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech nology developed by researchers to the software development community. Re cently, we seem to be starting to have a better understanding of the important ingredients of formal methods tools. This manifests itself in the growing ac ceptance of such tools in the software and hardware development industry. Ideally, formal methods need to be intuitive to use (preferably using graphi cal interfaces), do not impose on the user an extensive learning period, and incur only small overhead to the development process. Formal methods are much more acceptable today than ten or twenty years ago, in particular in the hardware industry. Yet there is still a lively contention between different approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch. N° de réf. du vendeur 9781441928764
Acheter neuf
EUR 53,49
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Software Reliability Methods
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Software Reliability Methods | Doron A. Peled | Taschenbuch | xix | Englisch | 2011 | Springer New York | EAN 9781441928764 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 107253043
Acheter neuf
EUR 49,75
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)