Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Back Matter
About this book
Reviews
From the reviews:
"The book covers a wide range of formal methods and how to use them to specify, verify and test software systems. … the book will provide a good, gentle introduction to the field with many pointers to more in-depth material. … I strongly recommend this book for anyone interested in using formal methods to develop reliable software. The book presents a very good introduction to the field and … covers the state-of-the-art in software reliability methods." (Michael Leuschel, Software Testing, Verification and Reliability, Vol. 2 (2), November, 2001)
Authors and Affiliations
-
Computing Sciences, Bell Labs/Lucent Technologies, Murray Hill, USA
Doron A. Peled
Bibliographic Information
Book Title: Software Reliability Methods
Authors: Doron A. Peled
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-1-4757-3540-6
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Lucent Technologies 2001
Hardcover ISBN: 978-0-387-95106-5
Softcover ISBN: 978-1-4419-2876-4
eBook ISBN: 978-1-4757-3540-6
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: XIX, 332
Topics: Software Engineering/Programming and Operating Systems, Computer Communication Networks, Programming Techniques