Formal specification using Z tool

Befejezett Kiadva: 5 évvel ezelőtt Kiszállításkor fizetve

$10-30 USD

Kiszállításkor fizetve

Befejezett Kiszállításkor fizetve

I am a student and i need a formal dpecification done uding z tool/ language for. N automatic banking system

Matematika Statisztikai Elemzés Statisztika

Projektazonosító: #17739868

A projektről

2 ajánlat Távolról teljesíthető projekt Utoljára aktív: 5 évvel ezelőtt

Szeretne pénzt keresni?

A Freelancer oldalán történő árajánlatadás előnyei

Adja meg a költség- és időkeretet
Kapjon fizetést munkájáért
Vázolja fel ajánlatát
Ingyen regisztrálhat és tehet árajánlatot

Odaítélve:

Eleirin Profilképe
Eleirin

I am efficient in Coq, Agda, and other similar formal specification system. I believe I would be able to provide an excellent answer, along with comments and explanations. Please provide me more details (what tools ar Továbbiak

$30 USD 1 napon belül
(2 értékelés)
2.9

2 szabadúszó tett átlagosan 33$ összegű árajánlatot erre a munkára

braincenter Profilképe
braincenter

I believe that my experience and skill in this background will prove to be of great help to you. Contact me to discuss more on the details

$35 USD 1 napon belül
(8 vélemény)
4.1
Adjon ki ehhez hasonló projektet