Browse editions

Current edition
The Correctness-By-Construction Approach to Programming by Derrick G. Kourie, Bruce W. Watson

The Correctness-By-Construction Approach to Programming

Derrick G. Kourie, Bruce W. Watson

266 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Other editions (1)
Expand filter menu Filter editions
The Correctness-By-Construction Approach to Programming by Derrick G. Kourie, Bruce W. Watson

The Correctness-By-Construction Approach to Programming

Derrick G. Kourie, Bruce W. Watson

266 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced