derivation of algorithms - Maths

derivation of algorithms - Maths

Cancelled

Job Description

Hi,
im looking for some1 to help me with my derivation of algorithms maths Assignment.

Please if you have the knowledge in this filed i would love to work with you.

You need to be strong in maths but not only that but also you need to have experiences in Guarded Command Language
Derivation of algorithms
- specification
- Invariant
- Initialisation Proof
- Loop Body Proof
- Termination Proof

This will be about 15 hours task

---
Skills: mathematics