You need to sign in or sign up before continuing.

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

The Correctness-By-Construction Approach to Programming

Bruce W. Watson, Derrick G. Kourie

266 pages missing pub info (view editions)

nonfiction computer science mathematics medium-paced
Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...