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
Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...