Derrick G Kourie: 1 book

Book cover of The Correctness-by-Construction Approach to Programming
by Bruce W. Watson, Derrick G. Kourie
Language: English
Release Date: April 10, 2012

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure...
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy