Software Reliability Methods (Texts in Computer Science)

by Doron A . Peled (Author), E.M.Clarke (Foreword)

• New

  Hardcover
  2001

  $128.74

  This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability.