Peled, Doron A.
Software Reliability Methods
- New York: Springer-Verlag, 2001
- 331 p.; Index.: 24 cm.
9780387951065 Pbk
Computer Reliability
Automatic Verification
Computer Software
Logic and Theorem Proving
Modeling Software Systems
Software Engineering
Visualization
005.1 / PEL