Formal Specifications using Z Language
This project was successfully completed by tomaszkarwala for $150 USD in 5 days.Get free quotes for a project like this
Project Budget$30 - $250 USD
Completed In5 days
I need a freelancer that can provide formal specifications (mathematical) for a software system using the Z language, using schemas, sets, relations, sequences etc.
For more detailed specs, PM me.
Deadline: 5 days
Browse Related Skills
Other things people do on Freelancer
Looking to make some money?
- Set your budget and the timeframe
- Outline your proposal
- Get paid for your work
Hire Freelancers who also bid on this project
Looking for work?
Work on projects like this and make money from home!Sign Up Now
- The New York Times
- Wall Street Journal
- Times Online