Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (12 chapters)
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
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-5Published: 26 June 2001
Softcover ISBN: 978-1-4419-2876-4Published: 09 October 2011
eBook ISBN: 978-1-4757-3540-6Published: 29 June 2013
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