Search

You searched for: Auteur Kourie, Derrick G. Remove constraint Auteur: Kourie, Derrick G.
1 entry found
Number of results to display per page

Search Results

1. The Correctness-by-Construction Approach to Programming
thumbnail
Full text!
Author:
Kourie, Derrick G.; Watson, Bruce W.
Publisher:
Springer-Verlag Berlin Heidelberg 2012
Format:
e-book