Formal Methods Developer
4765
£90(approx. $113)
- Posted:
- Proposals: 1
- Remote
- #62874
- Archived
Description
Experience Level: Intermediate
This project is the Maze application and about maths.i want to know anyone who good in maths to help me in this project.I want someone to develop a
Z speciï¬cation of a simple Maze, using the Z Speciï¬cation Forms and the ZTC and ZANS tools.
this project required types and constants (Hints: represent the maze and the walls as relations)
general and initial states of the maze
Movement operation(up,down,left,right)
if you need more information message me and i\'ll let you know.
Z speciï¬cation of a simple Maze, using the Z Speciï¬cation Forms and the ZTC and ZANS tools.
this project required types and constants (Hints: represent the maze and the walls as relations)
general and initial states of the maze
Movement operation(up,down,left,right)
if you need more information message me and i\'ll let you know.
Mehdi G.
100% (1)Projects Completed
4
Freelancers worked with
4
Projects awarded
67%
Last project
23 Oct 2012
United Kingdom
New Proposal
Login to your account and send a proposal now to get this project.
Log inClarification Board Ask a Question
-
There are no clarification messages.
We collect cookies to enable the proper functioning and security of our website, and to enhance your experience. By clicking on 'Accept All Cookies', you consent to the use of these cookies. You can change your 'Cookies Settings' at any time. For more information, please read ourCookie Policy
Cookie Settings
Accept All Cookies