Search Results - "Calculus Computer programs" :: FRELIP Discovery

Search alternatives:

"Calculus Computer programs" »
- "Calculus Computer programmes" (Expand Search)
- "Calculus Computer programme" (Expand Search)

Providing mechanical support for program development in a weakest precondition calculus by Ackerman, Charlotte Christene

Published 2013
Subjects: “…Calculus -- Computer programs…”

Get full text

Full Text Available
Access Full Text at Repository
Thesis

Standalone Record Save to List
Saved in: