Institutional Repository

Browsing College of Science, Engineering & Technology by Subject "Reasoning"

UnisaIR/Manakin Repository

Browsing College of Science, Engineering & Technology by Subject "Reasoning"

Sort by: Order: Results:

  • van der Poll, John A.; Kotzé, Paula (2004)
    A condensed specification of a multi-level marketing enterprise in the Z specification language is presented and a number of proof obligations that result from operations on the state is stated. The feasibility of using ...

Search UnisaIR


Browse

My Account