The Correctness-by-Construction Approach to Programming by Derrick G. Kourie (En
123,72 €
By Derrick G. Kourie, Bruce W. Watson. 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. Kourie and Watson advocate an approach known as "correctness-by-construction," a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way.
Jetzt bei Ebay:
