What do you think?
Rate this book
[(Software Reliability Methods )] [Author: Doron Peled] [Jul-2001]
*Introduction * Preliminaries * Logic and Theorem Proving * Modeling Systems * Formal Specification of Systems Properties * Automatic Verification * Deductive Verification * Process Algebras and Equivalences * Testing * Visualization * Pragmatics of Formal Methods * Conclusions
- GenresTechnical
Unknown Binding
First published June 26, 2001
6 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
Want to read
May 11, 2017the site is good
This entire review has been hidden because of spoilers.
Displaying 1 of 1 review