Nice book in great condition. Pages in excellent condition. No notes or highlighting. Fantastic book. Author: Bicarregui, Juan C. About the book >. Proof is just one of these possible formal activities, others, such as test case generation and animation, have also been shown to be effective bug finders.
eBay