# System specification / Formal Methods

Several questions on formal specification, just to compare to the results that I have from my own work. Using sets and types to create some queries / events for the formal specification.

There are only 6 questions - should probably only take an hour or so to complete.

All relevant information will be provided for you to carry out the task, including the clases and sets.

Please only bid if you can complete this within a day as it really shouldn't take long.

Compétences : Algorithme, Mathématiques, Langage Naturel

Concernant l'employeur :
( 1 commentaire ) Brushwood, United States

N° du projet : #1043016

## 5 freelance ont fait une offre moyenne de 84 $pour ce travail dobreiiita Ready to work.Check PM. 40$ USD en 0 jours
(60 Commentaires)
5.3
certainity

hi i am good at software engineering.Please check PM.

50 $USD en 1 jour (0 Commentaires) 0.0 karthik427 i can do this job check PMB 50$ USD en 1 jour
(0 Commentaires)
1.0
ata24

solve math problems

30 $USD en 1 jour (0 Commentaires) 0.0 cooolestgal ready to work from today.. 250$ USD en 0 jours
(0 Commentaires)
0.0