Unisa Institutional Repository

UnisaIR Home
College of Science, Engineering & Technology
School of Computing
Research Articles (Computing)
Search

Search

Search Results for Collection: Research Articles (Computing)

Now showing items 1-2 of 2

1

Enhancing the Established Strategy for Constructing a Z Specification

Van der Poll, John A.; Kotze, Paula (2005)
A multi-level Marketing case study : specifying forests and trees in Z

Van der Poll, J.A.; Kotze, P. (2003-06)

Now showing items 1-2 of 2

1

Search UnisaIR

Browse

All of UnisaIR
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account

Statistics

View Statistics

Discover

Author
Subject
- Automated reasoning (2)
- Established Strategy (2)
- Formal specification (2)
- OTTER (2)
- Heuristics (1)
- Multi-level marketing (1)
- Precondition calculation (1)
- Primitives (1)
- Resolution (1)
- Schema (1)
- ... View More
Date Issued
- 2005 (1)
- 2003 (1)