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 In
5 days
Total Bids
Project Description

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

Completed by:

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

    • Forbes
    • The New York Times
    • Time
    • Wall Street Journal
    • Times Online