by Doron A . Peled (Author), E.M.Clarke (Foreword)
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.
Format: Paperback
Pages: 331
Edition: 2001
Publisher: Springer
Published: 10 Oct 2011
ISBN 10: 1441928766
ISBN 13: 9781441928764