Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
Keywords
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
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