Kishor S. Trivedi is a Professor of Electrical and Computer Engineering at Duke University, North Carolina, and a Life Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and a recipient of the IEEE Computer Society's Technical Achievement Award. Andrea Bobbio is Professor of Computer Science in the Dipartimento di Scienze e Innovazione Tecnologica at the Universit... degli Studi del Piemonte Orientale, Italy, and a senior member of Institute of Electrical and Electronics Engineers (IEEE).

• Part I. Introduction: 1. Introduction; 2. Dependability evaluation; 3. Dependability metrics defined on a single unit; Part II. Non-State-Space Models (Combinatorial Models): 4. Reliability block diagram; 5. Network reliability; 6. Fault tree analysis; 7. State enumeration; 8. Dynamic redundancy; Part III. State-Space Models with Exponential Distributions: 9. Continuous time Markov chain: availability models; 10. Continuous time Markov chain: reliability models; 11. Continuous time Markov chain: queueing systems; 12. Petri nets; Part IV. State-Space Models with Non-Exponential Distributions: 13. Non-homogeneous CTMC; 14. Semi-Markov and Markov regenerative models; 15. Phase type expansion; Part V. Multi-Level Models; 16. Hierarchical models; 17. Fixed-point iteration; Part VI. Case Studies: 18. Case studies.

'This book should be on the desk of any university teacher, any engineer and anybody studying the dependability of complex computing systems or communication networks. It is about 700 pages and is quite complete since it covers all the aspects of the dependability evaluation of such systems … There are not only numerous examples and problems but a part of the book is dedicated to case studies providing the modeling of several real-life systems. Moreover all the chapters contain a quite interesting section for further reading. It is, to the best of my knowledge, the only book dealing so thoroughly and in detail with this wide subject.' Bruno Sericola, Reliability Engineering and System Safety