Đã Đóng

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.

Kĩ năng: Thuật toán, Toán học, Ngôn ngữ tự nhiên

Xem nhiều hơn: c algorithm questions, Specification, just natural, language questions, methods events, several language, create algorithm, formal, system task, create language, questions system, formal methods, algorithm system, lightfoot david formal specification doc, specification system requirements, formal specification database, will complete task within, copy paste system task, system task ssis unzip, natural language algorithm, formal specification demo, javascript task system, software requirements specification sales inventory system project, formal specification using, sample system requirement specification car auction

Về Bên Thuê:
( 1 Nhận xét ) Brushwood, United States

ID dự án: #1043016

5 freelancer đang chào giá trung bình $84 cho công việc này

dobreiiita

Ready to [url removed, login to view] PM.

$40 USD trong 0 ngày
(60 Nhận xét)
5.3
certainity

hi i am good at software [url removed, login to view] check PM.

$50 USD trong 1 ngày
(0 Nhận xét)
0.0
karthik427

i can do this job check PMB

$50 USD trong 1 ngày
(0 Nhận xét)
1.0
ata24

solve math problems

$30 USD trong 1 ngày
(0 Nhận xét)
0.0
cooolestgal

ready to work from today..

$250 USD trong 0 ngày
(0 Nhận xét)
0.0